A Graph-Based Approach to Knowledge Representation and Reasoning - Chapter Rules (Chapter XI)
Résumé
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.