HAL TEI export of lirmm-01092160 CCSD CC0 1.0 - Universal

HAL API Platform

 Default Reasoning Implementation in CoGui Patrice Buche a4203f9cdfbc2b4f7a1afc769960f461 supagro.inra.fr patrice-buche 9239 26493-9239 https://orcid.org/0000-0002-9134-5404 https://scholar.google.fr/citations?user=_cDFZhIAAAAJ&hl=fr https://www.idref.fr/031424910 Jérôme Fortin 3bd2c6d4911d70e65d489d34e2500c5c supagro.inra.fr 1118257 701356-1118257 https://www.idref.fr/118681427 Alain Gutierrez 412de266b56b179c977e8ca5ab75dbb3 lirmm.fr alain-gutierrez 2357 24065-2357 https://www.idref.fr/253131413 Patrice Buche 8a5b1ddfb936bba6613b1f27535103b1 inrae.fr 2022-09-06 19:20:30 2014-03-15 2025-10-28 17:13:33 2022-09-07 10:36:23 2014-07-27 2022-09-07 inra_publicVise_local_SC contributor Patrice Buche 8a5b1ddfb936bba6613b1f27535103b1 inrae.fr CCSD lirmm-01092160 https://hal-lirmm.ccsd.cnrs.fr/lirmm-01092160 buche:lirmm-01092160 <i>ICCS 2014 - 21st International Conference on Conceptual Structures</i>, Jul 2014, Lasi, Romania. pp.118-129, <a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-08389-6_11">&#x27E8;10.1007/978-3-319-08389-6_11&#x27E9;</a> ICCS 2014 - 21st International Conference on Conceptual Structures, Jul 2014, Lasi, Romania. pp.118-129, &#x27E8;10.1007/978-3-319-08389-6_11&#x27E9; HAL Authorization CIRAD - Centre de coopération internationale en recherche agronomique pour le développement CNRS - Centre national de la recherche scientifique INRIA - Institut National de Recherche en Informatique et en Automatique Université Montpellier II - Sciences et Techniques du Languedoc INRA - Institut national de la recherche agronomique INRIA Sophia Antipolis - Méditerranée Ingénierie des agropolymères et technologies émergentes INRIA-SOPHIA INRIA - Institut National de Recherche en Informatique et en Automatique TESTALAIN1 Graphs for Inferences on Knowledge Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier Agropolis INRIA 2 Archive ouverte en agrobiosciences Mathématiques, Informatique, Physique et Systèmes Biologie-AgroSciences Université de Montpellier Université Côte d'Azur Institut Agro Montpellier Institut National de Recherche en Agriculture, Alimentation et Environnement INRAE Occitanie Montpellier Université Montpellier 1 - Université Montpellier 2 Université de Montpellier (2015-2021) Institut Agro Intelligence Artificielle Editors: Hernandez, Nathalie, Jäschke, Robert, Croitoru, Madalina (Eds.) International No No Yes Yes Default Reasoning Implementation in CoGui Patrice Buche a4203f9cdfbc2b4f7a1afc769960f461 supagro.inra.fr patrice-buche 9239 26493-9239 https://orcid.org/0000-0002-9134-5404 https://scholar.google.fr/citations?user=_cDFZhIAAAAJ&hl=fr https://www.idref.fr/031424910 Jérôme Fortin 3bd2c6d4911d70e65d489d34e2500c5c supagro.inra.fr 1118257 701356-1118257 https://www.idref.fr/118681427 Alain Gutierrez 412de266b56b179c977e8ca5ab75dbb3 lirmm.fr alain-gutierrez 2357 24065-2357 https://www.idref.fr/253131413 978-3-319-08389-6 978-3-319-08388-9 21st International Conference on Conceptual Structures ICCS 2014 - 21st International Conference on Conceptual Structures 2014-07-27 2014-07-30 Lasi Romania Springer Cham (switzerland) Graph-Based Representation and Reasoning LNCS 8577 118-129 2014-07-27 10.1007/978-3-319-08389-6_11 286239 000345098200011 English Defaut reasoning Conceptual graph Computer Science [cs]/Artificial Intelligence [cs.AI] Conference papers Conference papers Conference papers

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.

 200317667V Ingénierie des Agro-polymères et Technologies Émergentes UMR IATE 1999-01-01 2019-12-31
Campus de la Gaillarde 2, place Pierre Viala 34 060 Montpellier Cédex 02 - FRANCE
http://umr-iate.cirad.fr/ 201019618K Graphs for Inferences on Knowledge GRAPHIK 2010-01-01 2021-12-31
LIRMM — Campus Saint Priest – 860 rue de St Priest – 34095 Montpellier
https://team.inria.fr/graphik/ 0000000121539871 https://ror.org/05kpkpg04 Centre de Coopération Internationale en Recherche Agronomique pour le Développement Cirad 1984-06-01
Siège 42, rue Scheffer 75116 Paris
http://www.cirad.fr https://ror.org/01x3gbx83 Institut National de la Recherche Agronomique INRA 1946-05-18 2019-12-31
http://www.inra.fr Université Montpellier 2 - Sciences et Techniques UM2 2014-12-31
Place Eugène Bataillon - 34095 Montpellier cedex 5
http://www.univ-montp2.fr/ https://ror.org/03rnk6m14 Centre international d'études supérieures en sciences agronomiques Montpellier SupAgro 2007-01-01 2015-02-05
2, place Pierre Viala - 34060 Montpellier Cedex 02
http://www.supagro.fr/ 0000000120970141 https://ror.org/051escj72 Université de Montpellier UM 2021-12-31
163 rue Auguste Broussonnet - 34090 Montpellier
http://www.umontpellier.fr/ https://ror.org/03rnk6m14 Institut national d’études supérieures agronomiques de Montpellier Montpellier SupAgro 2015-02-06 2019-12-31
2, place Viala34060 Montpellier Cédex 2
http://www.supagro.fr 139590827 0000000405990488 199111950H https://ror.org/013yean28 Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier LIRMM 1995-01-01 2021-12-31
161 rue Ada - 34095 Montpellier
https://www.lirmm.fr 02636817X 0000000122597504 https://ror.org/02feahw73 Centre National de la Recherche Scientifique CNRS 1939-10-19
https://www.cnrs.fr/ 198318250R https://ror.org/01nzkaw91 Centre Inria d'Université Côte d'Azur
2004 route des Lucioles BP 93 06902 Sophia Antipolis
http://www.inria.fr/centre/sophia/ https://ror.org/02kvxyf05 Institut National de Recherche en Informatique et en Automatique Inria
Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex
http://www.inria.fr/en/