Author:
Chein Michel,Mugnier Marie-Laure
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Aït-Kaci, H., Nasr, R.: Login: A logic programming language with builtin inheritance. Journal of Logic Programming 3(3), 185–215 (1986)
2. Baget, J.-F.: Représenter des connaissances et raisonner avec des hypergraphes: de la projection à la dérivation sous contraintes. PhD thesis, Université Montpellier II (November 2001)
3. LNCS (LNAI);J.-F. Baget,2003
4. Beierle, C., Hedtstück, U., Pletat, U., Schmitt, P.H., Siekmann, J.H.: An order-sorted logic for knowledge representation systems. Artificial Intelligence 55(2), 149–191 (1992)
5. LNCS (LNAI);F. Baader,1999
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Translations between RDF(S) and Conceptual Graphs;Lecture Notes in Computer Science;2010
2. Security Theorems via Model Theory;Electronic Proceedings in Theoretical Computer Science;2009-11-17
3. The Advent of Formal Diagrammatic Reasoning Systems;Formal Concept Analysis;2009
4. Conceptual Graph Rules and Equivalent Rules: A Synthesis;Lecture Notes in Computer Science;2009
5. Conceptual Graphs and Datatypes;Lecture Notes in Computer Science;2009