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


Ce site est maintenu par René Quiniou au moyen du système Weave
développé au sein du projet Caravel : http://www-caravel.inria.fr.
Dernière modification : 07-10-2011 09:54:25
English version