Intuitionistic Atomic Negation in Simple Conceptual Graphs

Marie-Laure Mugnier 1 Michel Leclère 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Document type :
Reports
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00106620
Contributor : Christine Carvalho de Matos <>
Submitted on : Monday, October 16, 2006 - 9:41:28 AM
Last modification on : Wednesday, June 5, 2019 - 11:58:12 AM

Identifiers

  • HAL Id : lirmm-00106620, version 1

Collections

Citation

Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 05015, 2005, 6 p. ⟨lirmm-00106620⟩

Share

Metrics

Record views

128