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
Type de document :
Rapport
05015, 2005, 6 p
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00106620
Contributeur : Christine Carvalho de Matos <>
Soumis le : lundi 16 octobre 2006 - 09:41:28
Dernière modification le : jeudi 11 janvier 2018 - 16:22:51

Identifiants

  • HAL Id : lirmm-00106620, version 1

Citation

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

Partager

Métriques

Consultations de la notice

78