Default Conceptual Graph Rules, Atomic Negation and Tic-Tac-Toe
暂无分享,去创建一个
[1] Madalina Croitoru,et al. Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application , 2009, ICCS.
[2] Thomas Eiter,et al. Prioritizing Default Logic: Abridged Report , 2007 .
[3] Marie-Laure Mugnier,et al. Sound and Complete Forward and backward Chainingd of Graph Rules , 1996, ICCS.
[4] John F. Sowa,et al. Conceptual Structures: Information Processing in Mind and Machine , 1983 .
[5] Jean-François Baget,et al. Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms , 2003 .
[6] John F. Sowa,et al. Conceptual Graphs for a Data Base Interface , 1976, IBM J. Res. Dev..
[7] G. Kerdiles,et al. Saying It with Pictures: a logical landscape of conceptual graphs , 2001 .
[8] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[9] Andrea Calì,et al. A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.
[10] Sebastian Rudolph,et al. Conceptual Structures: Leveraging Semantic Technologies , 2009 .
[11] Bernhard Ganter,et al. Conceptual Structures for Knowledge Creation and Communication , 2003, Lecture Notes in Computer Science.
[12] Marie-Laure Mugnier,et al. On querying simple conceptual graphs with negation , 2007, Data Knowl. Eng..
[13] Georg Gottlob,et al. A Comparison of Structural CSP Decomposition Methods , 1999, IJCAI.