Rules Dependencies in Backward Chaining of Conceptual Graphs Rules
暂无分享,去创建一个
[1] Jean-François Baget,et al. Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints , 2011, J. Artif. Intell. Res..
[2] Bernhard Ganter,et al. Conceptual Structures for Knowledge Creation and Communication , 2003, Lecture Notes in Computer Science.
[3] John F. Sowa,et al. Conceptual Structures: Information Processing in Mind and Machine , 1983 .
[4] Stéphane Coulondre,et al. Piece Resolution: Towards Larger Perspectives , 1998, ICCS.
[5] M. Chein,et al. Conceptual graphs: fundamental notions , 1992 .
[6] M. Mugnier,et al. Représenter des connaissances et raisonner avec des graphes , 1996 .
[7] Georg Gottlob,et al. A Comparison of Structural CSP Decomposition Methods , 1999, IJCAI.
[8] John F. Sowa,et al. Handbook of Knowledge Representation Edited Conceptual Graphs 5.1 from Existential Graphs to Conceptual Graphs , 2022 .
[9] John F. Sowa,et al. Conceptual Graphs for a Data Base Interface , 1976, IBM J. Res. Dev..
[10] Marie-Laure Mugnier,et al. Concept Types and Coreference in Simple Conceptual Graphs , 2004, ICCS.
[11] Marie-Laure Mugnier,et al. Sound and Complete Forward and backward Chainingd of Graph Rules , 1996, ICCS.
[12] Jean-François Baget,et al. Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms , 2003 .
[13] Bernhard Ganter,et al. Conceptual Structures: Logical, Linguistic, and Computational Issues , 2000, Lecture Notes in Computer Science.
[14] Harry S. Delugach,et al. Conceptual Structures at Work , 2004, Lecture Notes in Computer Science.
[15] Marie-Laure Mugnier,et al. Conceptual Structures: Theory, Tools and Applications , 1998, Lecture Notes in Computer Science.
[16] Eric Salvat,et al. Theorem Proving Using Graph Operations in the Conceptual Graph Formalism , 1998, ECAI.
[17] Jean-François Baget,et al. Improving the Forward Chaining Algorithm for Conceptual Graphs Rules , 2004, KR.
[18] Michael Jackman,et al. Conceptual graphs , 1988 .
[19] Marie-Laure Mugnier,et al. Knowledge Representation and Reasonings Based on Graph Homomorphism , 2000, ICCS.
[20] Serge Abiteboul,et al. Foundations of Databases , 1994 .