Skip to Main content Skip to Navigation
Reports

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 metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00109212
Contributor : Christine Carvalho de Matos Connect in order to contact the contributor
Submitted on : Tuesday, October 24, 2006 - 7:41:55 AM
Last modification on : Friday, October 22, 2021 - 3:07:21 PM

Identifiers

  • HAL Id : lirmm-00109212, version 1

Collections

Citation

Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 04004, 2004, pp.15. ⟨lirmm-00109212⟩

Share

Metrics

Record views

101