Abstract
This paper studies the introduction of atomic negation into simple conceptual graphs. Several semantics of negation are explored w.r.t. the deduction problem and the query answering problem. Sound and complete algorithm schemes based on projection (or coref-projection) are provided in all cases. The processing of equality/inequality is added to the framework. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
Leclère, M., & Mugnier, M. L. (2006). Simple conceptual graphs with atomic negation and difference. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4068 LNAI, pp. 331–345). Springer Verlag. https://doi.org/10.1007/11787181_24
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
