Mineau, G. W., Moulin, B. and Sowa, J. F. (eds) (1993) Proc. 1st Int. Conf. on Conceptual Structures, ICCS'93 (Lecture Notes in Artificial Intelligence, vol. 699), Quebec, Canada. Springer-Verlag. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Conceptual Graphs and First Order Logic - Amati, Ounis (2000) (2 citations) Self-citation (Sowa) (Correct)
....show how to use the FOL semantics for translating the graphs and FOL theorem provers for obtaining: i) graph derivations, and (ii) a projection algorithm. Notwithstanding the logical nature of CGs, most of the research work on conceptual graphs has focused on graph theory and graph algorithms [3, 4, 5, 6], which have been considered as the core of conceptual graph theory [7] Nevertheless, there have been some attempts to provide a sound and complete graph derivation algorithm with respect to the FOL semantics and graph derivation [8, 9, 10, 11] As for the existential fragment, our ....
Mineau, G. W., Moulin, B. and Sowa, J. F. (eds) (1993) Proc. 1st Int. Conf. on Conceptual Structures, ICCS'93 (Lecture Notes in Artificial Intelligence, vol. 699), Quebec, Canada. Springer-Verlag.
Conceptual Graphs as Terms: Prospects for Resolution Theorem.. - Müller (1997) (Correct)
No context found.
Guy W. Mineau and Bernard Moulin, editors. Lecture Notes in Artificial Intelligence. Springer-verlag, 1993. Proceedings of the first international conference on Conceptual Structures, ICCS'93, Quebec City,Canada,august 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC