|
2009 |
2008 |
2007 |
2006 |
2005 |
2004 |
2003 |
2002 |
2001 |
2000 |
1999 |
1998 |
1997 |
1995 |
1994 |
1993 |
1992 |
1991 |
1990 |
1989 |
1988 |
1987 |
2009
-
Marie-Odile Cordier and Yves Moinard :
Remarks about the use of Answer Set Programming for a causal formalism
, MICRAC project Workshop (Toulouse)
, Toulouse
, jun
, 2009
, Résumé
, Abstract
, Document
2008
-
Salem Benferhat and Philippe Besnard and Jean-François Bonnefon and Philippe Chassy and Marie-Odile Cordier and Rui Da Silva Neves and Robert Demolombe and Didier Dubois and Florence Dupin de Saint-Cyr and Daniel Kayser and François Levy and Yves Moinard and Farid Nouioua and Sara Nouioua-Boutouhami and Henri Prade and Salma Smaoui and Camilla Schwind :
Causalité : comparons les approches
, Paris
, oct
, 2008
, Document
-
Philippe Besnard and Marie-Odile Cordier and Yves Moinard :
Deriving explanations from causal information
, ECAI 2008 (18th European Conference on Artificial Intelligence)
, IOS Press
, Patras
, 723--724
, jul
, 2008
, Abstract
-
Philippe Besnard and Marie-Odile Cordier and Yves Moinard :
Ontology-based inference for causal explanation
, Integrated Computer-Aided Engineering
, IOS Press, Amsterdam
, Vol. 15
, No. 4
, 351-367
, 2008
, Abstract
, www.iospress.nl/
2007
-
Philippe Besnard and Marie-Odile Cordier and Yves Moinard :
Ontology-based inference for causal explanation
, KSEM07 (Second International Conference on Knowledge Science, Engineering and Management)
, Springer
, Melbourne
, No. 4798
, 153-164
, nov
, 2007
, Abstract
, Document
-
Yves Moinard :
An Experience of Using ASP for Toy Examples
, Fourth Workshop on Answer Set Programming (ASP 07)
, Facultade de Ciencias, Universidade do Porto
, Porto
, 133--147
, sept
, 2007
, Abstract
, Document
-
Yves Moinard :
Forgetting literals with varying propositional symbols
, J. of Logic and Computation
, Oxford University Press
, Vol. 17
, No. 5
, 955--982
, oct
, 2007
, Abstract
, Document
2006
-
Philippe Besnard and Marie-Odile Cordier and Yves Moinard :
Configurations for Inference between Causal Statements
, KSEM 2006 (First Int. Conf. on Knowledge Science, Engineering and Management)
, Springer
, Guilin
, No. 4092
, 292--304
, aug
, 2006
, Abstract
, Document
-
Yves Moinard :
Oubli de littéraux avec symboles propositionnels variables
, RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle)
, AFRIF-AFIA
, Tours
, 120 (1-10)
, jan
, 2006
, Résumé
, Abstract
, Document
-
Yves moinard :
About the computation of forgetting symbols and literals
, NMR 2006 ( 11th Workshop on Non-monotonic Reasoning)
, Institut für Informatik, Technische Universität Clausthal, Germany (http://cig.in.tu-clausthal.de/)
, Lake District
, 209--217
, june
, 2006
, Abstract
, Document
2005
-
Yves Moinard :
Forgetting literals with varying propositional symbols
, Common Sense 2005 (7th Int. Symp. on Logical Formalization of Common Sense Reasoning)
, Technische Universitat Dresden
, Corfu, Greece
, 169-176
, may
, 2005
, Abstract
, Document
-
Besnard, Philippe and Cordier, Marie-Odile and Moinard, Yves :
Configurations for Inference from Causal Statements: Preliminary Report
, AI*IA 2005 (9th Congress of the Italian Association for Artificial Intelligence)
, Springer
, 282-285
, sep
, 2005
, Abstract
2004
-
Yves Moinard :
Mesure de plausibilité pour le raisonnement par défaut
, RFIA 2004 (Reconnaissance des Formes et Intelligence Artificielle)
, Toulouse
, 217--226
, jan
, 2004
, Résumé
, Abstract
, Document
-
Yves Moinard :
Plausibility structures for default reasoning
, ECAI 2004: 16th biennial European Conference on Artificial Intelligence
, IOS Press
, Valencia
, 853--857
, aug
, 2004
, Abstract
, Document
2003
-
Yves Moinard :
De l'usage de la mesure de plausibilité pour le raisonnement par défaut
, JNMR'03 (Journées Nationales de Modélisation du Raisonnement)
, Paris
, 185 - 200
, nov
, 2003
, Résumé
, Document
2002
-
Moinard, Yves and Rolland, Raymond :
Characterizations of Preferential Entailments
, Logic Journal of the IGPL
, Oxford University Press
, Vol. 10
, No. 3
, 243-270
, may
, 2002
, Abstract
, Document
-
Moinard, Yves :
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
, ECAI'2002 (European Conference on Artificial Intelligence)
, IOS Press, Amsterdam
, Lyon
, 531-535
, jul
, 2002
, Abstract
-
Yves Moinard :
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
, NMR'2002 (Int. Workshop on Non-Monotonic Reasoning)
, IRIT, Toulouse
, 15-24
, apr
, 2002
, Abstract
, Document
2001
-
Yves Moinard :
General preferential entailments as circumscriptions
, ECSQARU 2001 (Symbolic and Quantitative Approaches to Reasoning and Uncertainty)
, Springer-Verlag, LNAI
, Vol. 2143
, 532--543
, sep
, 2001
, Abstract
2000
-
Moinard, Yves and Rolland, Raymond :
Ensembles de formules équivalents pour la circonscription
, RFIA'2000 : Reconnaissance des Formes et Intelligence Artificielle
, Paris
, II: 189--198
, feb
, 2000
, Résumé
, Abstract
, Document
-
Moinard, Yves and Rolland, Raymond :
Equivalent sets of formulas for circumscriptions
, ECAI'2000 (European Conf. on Artificial Intelligence)
, IOS Press, Amsterdam
, Berlin
, 479-483
, aug
, 2000
, Abstract
, Document
-
Yves Moinard and Raymond Rolland :
Smallest Equivalent Sets for Finite Propositional Formula Circumscription
, CL'2000 (International Conference on Computational Logic)
, Spinger-Verlag, LNAI
, London
, Vol. 1861
, 897-911
, jul
, 2000
, Abstract
, Document
-
Moinard, Yves :
Note about cardinality-based circumscription
, Artificial Intelligence
, Elsevier
, Vol. 119
, No. 1-2
, 259-273
, may
, 2000
, Abstract
, Document
-
Moinard, Yves :
Characterizing general preferential entailments
, ECAI'2000 (European Conference on Artificial Intelligence)
, IOS Press
, Berlin
, 474-478
, aug
, 2000
, Abstract
, Document
-
Moinard, Yves and Rolland, Raymond :
Characterizations of preferential entailments
, INRIA, Research Report RR-3928, IRISA, Publication Interne 1326
, Rennes, France
, apr
, 2000
, Résumé
, Abstract
, Document
1999
-
Moinard, Yves and Rolland, Raymond :
À propos de la circonscription propositionnelle
, JNMR'99
, Paris
, mar
, 1999
, Résumé
, Document
-
Moinard, Yves and Rolland, Raymond :
Preferential entailments, extensions and reductions of the vocabulary
, INRIA, Research Report RR-3787, IRISA, Publication Interne 1273
, Rennes, France
, oct
, 1999
, Résumé
, Abstract
, Document
1998
-
Besnard, Philippe and Moinard, Yves :
Non-classical Default Logics
, IPMU'98
, EDK, Éditions Médicales et Scientifiques, Paris
, La Sorbonne, Paris
, 1116--1121
, jul
, 1998
, Abstract
-
Moinard, Yves and Rolland, Raymond :
Circumscriptions from what they cannot do (Preliminary report)
, Common Sense'98
, Qween Mary and Westfield College, University of London
, London
, 20--41
, jan
, 1998
, Abstract
, Document
-
Moinard, Yves and Rolland, Raymond :
Propositional circumscriptions
, INRIA, Research Report RR-3538, IRISA, Publication Interne 1211
, Rennes, France
, oct
, 1998
, Résumé
, Abstract
, Document
1997
-
Ph. Besnard and Y. Moinard and D. Py :
Rapport d'avancement contrat CNET 97 1B 046
, septembre
, 1997
1995
-
Besnard, Philippe and Moinard, Yves :
Implication connectives for logic with right weakening
, IPMU'94 (Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems), in Advances in Intelligent Computing, selected papers of IPMU'94, LNCS No 945
, Springer-Verlag
, Paris, July 1994
, 360--369
, 1995
, Abstract
1994
-
Léa Sombé :
Revision and updating in knowledge bases
, Wiley eds
, New-York
, 1994
-
Moinard, Yves and Rolland, Raymond :
Around a Powerful Property of Circumscriptions
, JELIA'94, in LNCS No 838
, Springer-Verlag
, York, UK
, 34--49
, sep
, 1994
, Abstract
-
Moinard, Yves and Rolland, Raymond :
Preferential entailments for circumscriptions
, KR'94 (Int. Conf. on Knowledge Representation)
, Morgan Kaufmann
, Bonn
, 461--472
, may
, 1994
-
Yves Moinard :
Reasoning by Cases without Contraposition in Default Logic
, ECAI'94 (European Conf. on Artificial Intelligence)
, Wiley
, Amsterdam
, 381--385
, aug
, 1994
, The document available on this site is a modified version, made on April 25, 1995, after a remark by Chiaki Sakama.
, Abstract
, Document
-
Yves Moinard :
Notes on Change and Nonmonotony
, Série Revision and Updating in Knowledge Bases.
, Wiley
, 101--118
, 1994
, Abstract
1993
-
Yves Moinard :
Unifying various approaches to default logic
, IPMU'92 (Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems) in: Advanced Methods in Artificial Intelligence, LNCS-682
, Springer-Verlag
, Berlin
, 33--42
, 1993
, Abstract
, Document
1992
-
Yves Moinard :
Circumscriptions as preferential entailments
, ECAI'92 (European Conf. on Artificial Intelligene)
, Wiley
, Wien
, 329--333
, aug
, 1992
, Abstract
-
Yves Moinard :
Unifying various approaches to constructive defaults
, Rennes, France
, oct
, 1992
, Abstract
, Document
1991
-
Moinard, Yves and Rolland, Raymond :
Circumscription and Definability
, IJCAI'91 (Int. Joint Conf. on Artificial Intelligence)
, Morgan Kaufmann
, Sydney
, 432--437
, aug
, 1991
, Abstract
1990
-
Sombé, Léa :
Reasoning under Incomplete Information in Artificial Intelligence
, Wiley
, New York
, 1990
, English translation, slightly modified, of Som89.
-
Moinard, Yves and Rolland, Raymond :
Unexpected and unwanted results of circumscription
, AIMSA'90, in Artificial Intelligence IV (methodology, systems, applications)
, North-Holland
, Albena, Bulg.
, 61--70
, sep
, 1990
, Abstract
-
Yves Moinard :
Circumscription and Horn theories
, ECAI'90 (European Conf. on Artificial Intelligence)
, Pitmman Publishing
, Stockholm
, 449--454
, aug
, 1990
, Abstract
-
Yves Moinard :
Preference by Specificity in Default Logic
, ESPRIT Project DRUMS RP1 1st Workshop
, Marseille
, feb
, 1990
1989
-
Sombé, Léa :
Raisonnements sur des informations incomplètes en Intelligence Artificielle
, Teknea
, Toulouse
, 1989
, Membres du groupe à cette date: Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
-
Besnard, Philippe and Mercer, Robert and Moinard, Yves :
The importance of open and recursive circumscription
, Artificial Intelligence
, Elsevier
, Vol. 39
, No. 2
, 251--262
, jun
, 1989
, Abstract
-
Moinard, Yves and Rolland, Raymond :
Résultats inattendus de la circonscription (premier et second ordre)
, RFIA (Reconnaissance des Formes et Intelligence Artificielle)
, Paris
, 1301--1314
, dec
, 1989
, Résumé
, Abstract
-
Yves Moinard :
Circumscription and Definability
, UWO
, London, Ontario
, No. 236
, mar
, 1989
1988
-
Yves Moinard :
Computing circumscription of Horn theories
, ECAI'88 (European Conference on Artificial Intelligence)
, Pitman Publishing
, Munich
, 513--515
, 1988
, Abstract
-
Yves Moinard :
Pointwise circumscription is equivalent to predicate completion (Sometimes)
, LP'88 (Int. Conf. on Logic Programming)
, MIT Press
, Seattle
, 1097--1105
, 1988
, Abstract
1987
-
Yves Moinard :
Donner la préférence au défaut le plus spécifique
, RFIA'87 (Reconnaissance des Formes et Intelligence Artificielle)
, Dunod (Bordas)
, Antibes
, 1123--1132
, nov
, 1987
, Résumé
, Abstract
|