Default Reasoning Implementation in CoGui - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2014

Default Reasoning Implementation in CoGui


This is an application paper in which we propose to present the actualimplementation of default reasoning under conceptual graph formalism usingCoGui. CoGui is a free graph-based visual tool, developed in Java, for buildingConceptual Graph knowledge bases. We present the extension of this applicationto define and represent default CG rules (a CG-oriented subset of Reiter’s defaultlogics) and how to use these rules in skeptical or credulous reasoning.
Fichier principal
Vignette du fichier
ICCS2014.pdf (917.71 Ko) Télécharger le fichier

Dates and versions

lirmm-01092160 , version 1 (06-09-2022)



Patrice Buche, Jérôme Fortin, Alain Gutierrez. Default Reasoning Implementation in CoGui. ICCS 2014 - 21st International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. pp.118-129, ⟨10.1007/978-3-319-08389-6_11⟩. ⟨lirmm-01092160⟩
221 View
36 Download



Gmail Mastodon Facebook X LinkedIn More