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.
Type de document :
Rapport
RR-08003, 2008, pp.30
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00260309
Contributeur : Marie-Laure Mugnier <>
Soumis le : lundi 3 mars 2008 - 17:42:57
Dernière modification le : samedi 27 janvier 2018 - 01:30:48

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

76