Author:
Cao Tru H.,Creasy Peter N.,Wuwongse Vilas
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Aït-Kaci, H. & Nasr, R. (1986), Login: A Logic Programming Language with Built-in Inheritance. J. of Logic Programming, 3:185–215.
2. Baldwin, J.F. & Martin, T.P. & Pilsworth, B.W. (1995), Frit-Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley&Sons, New York.
3. Beierle, C. & Hedtsruck, U. & Pietat, U. & Schmitt, P.H. & Siekmann, J. (1992), An Order-Sorted Logic for Knowledge Representation Systems. J. of Artificial Intelligence, 55: 149–191.
4. Cao, T.H. (1995), Fuzzy Conceptual Graph Programs. Master's Thesis, Asian Institute of Technology, December 1995.
5. Ghosh, B.C. & Wuwongse, V. (1995), A Direct Proof Procedure for Definite Conceptual Graph Programs. In Ellis & Levinson & Rich & Sowa (eds.): Conceptual Structures: Applications, Implementation and Theory, LNAI No. 954, Springer-Verlag, pp. 158–172.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Conceptual Graphs and Fuzzy Logic;Studies in Computational Intelligence;2010
2. Concept Types and Coreference in Simple Conceptual Graphs;Lecture Notes in Computer Science;2004
3. A FORMALISM FOR REPRESENTING AND REASONING WITH LINGUISTIC INFORMATION;International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems;2002-06
4. Reasoning with Ontologies by Using Knowledge Conjunction in Conceptual Graphs;On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE;2002
5. A Method for Reasoning with Ontologies Represented as Conceptual Graphs;AI 2001: Advances in Artificial Intelligence;2001