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

• 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/

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• Ph. Besnard and Y. Moinard and D. Py :
  Rapport d'avancement contrat CNET 97 1B 046 , septembre , 1997

• 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

• 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

• 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

• 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

• Moinard, Yves and Rolland, Raymond :
  Circumscription and Definability , IJCAI'91 (Int. Joint Conf. on Artificial Intelligence) , Morgan Kaufmann , Sydney , 432--437 , aug , 1991 , Abstract

• 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

• 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

• 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

• 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