Author of the publication

Sound and complete forward and backward chainings of graph rules

, and . Conceptual Structures: Knowledge Representation as Interlingua, volume 1115 of Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Piece Resolution: Towards Larger Perspectives., and . ICCS, volume 1453 of Lecture Notes in Computer Science, page 179-193. Springer, (1998)Rules Dependencies in Backward Chaining of Conceptual Graphs Rules., and . ICCS, volume 4068 of Lecture Notes in Computer Science, page 102-116. Springer, (2006)Some Structural Properties of the Logic of Rules, , , and . RR-08016. LIRMM, (2008)Sound and Complete Forward and backward Chainingd of Graph Rules., and . ICCS, volume 1115 of Lecture Notes in Computer Science, page 248-262. Springer, (1996)A semantic validation of conceptual graphs., , and . Knowl. Based Syst., 19 (7): 498-510 (2006)Validation de graphes conceptuels., , and . EGC, volume RNTI-E-2 of Revue des Nouvelles Technologies de l'Information, page 135-146. Cépaduès-Éditions, (2004)Extending Decidable Cases for Rules with Existential Variables., , , and . IJCAI, page 677-682. (2009)Sound and complete forward and backward chainings of graph rules, and . Conceptual Structures: Knowledge Representation as Interlingua, volume 1115 of Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, (1996)Theorem Proving Using Graph Operations in the Conceptual Graph Formalism.. ECAI, page 356-360. John Wiley and Sons, (1998)A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux., and . ICCS, volume 1257 of Lecture Notes in Computer Science, page 371-385. Springer, (1997)