Simple Conceptual Graphs with Atomic Negation and Difference - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2006

Simple Conceptual Graphs with Atomic Negation and Difference

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.
No file

Dates and versions

lirmm-00113160 , version 1 (10-11-2006)

Identifiers

  • HAL Id : lirmm-00113160 , version 1

Cite

Michel Leclère, Marie-Laure Mugnier. Simple Conceptual Graphs with Atomic Negation and Difference. ICCS: International Conference on Conceptual Structures, Jul 2006, Aalborg, Denmark. pp.331-345. ⟨lirmm-00113160⟩
70 View
0 Download

Share

Gmail Facebook X LinkedIn More