Simple Conceptual Graphs with Atomic Negation and Difference

Michel Leclère; Marie-Laure Mugnier

Retour

Acte de colloque

Simple Conceptual Graphs with Atomic Negation and Difference

Michel Leclère et Marie-Laure Mugnier

14th International Conference on Conceptual Structures, Vol.LNCS(4068), pp.331-345

ICCS: International Conference on Conceptual Structures (Aalborg, Denmark, 16/07/2006–21/07/2006)

07/2006

Résumé

Conceptual Graph

Negation

Difference

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.

Fichiers et liens (1)

url

Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Titre: Simple Conceptual Graphs with Atomic Negation and Difference
Créateurs - sans rôle: Michel Leclère - Graphs for Inferences on Knowledge
Marie-Laure Mugnier - Graphs for Inferences on Knowledge
Détails de publication: 14th International Conference on Conceptual Structures, Vol.LNCS(4068), pp.331-345
Colloque: ICCS: International Conference on Conceptual Structures (Aalborg, Denmark, 16/07/2006–21/07/2006)
Identifiants: 9937833109311
Unité académique: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
Langue: English
Type de ressource: Conference proceeding
Champs locaux: lirmm-00113160