A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Rules (Chapter XI)

Michel Chein 1 Marie-Laure Mugnier 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : This research report contains the current version of the chapter about conceptual graph rules (graph mechanisms, logical semantics, sound and complete forward and backward chainings, decidability and complexity results), chapter XI of a book to appear in 2008.
Document type :
Reports
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00260309
Contributor : Marie-Laure Mugnier <>
Submitted on : Monday, March 3, 2008 - 5:42:57 PM
Last modification on : Wednesday, December 12, 2018 - 3:56:05 PM

Identifiers

  • HAL Id : lirmm-00260309, version 1

Collections

Citation

Michel Chein, Marie-Laure Mugnier. A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Rules (Chapter XI). RR-08003, 2008, pp.30. ⟨lirmm-00260309⟩

Share

Metrics

Record views

163