|
2008 |
2007 |
2006 |
2005 |
2004 |
2000 |
1999 |
1998 |
1997 |
1995 |
1994 |
1992 |
1990 |
1989 |
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
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
2005
-
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
-
Philippe Besnard and Sylvie Doutre :
Characterization of Semantics for Argument Systems
, Principles of Knowledge Representation and Reasoning (KR'04)
, AAAI Press
, Whistler, B.C., Canada
, 183--193
, jun
, 2004
2000
-
P. Besnard and M.-O. Cordier :
Explications causales
, Proceedings of RFIA'2000
, 169--177
, feb
, 2000
-
P.~Besnard and P.~Sébillot :
Analyse linguistique pour la conception d'un logiciel d'aide à l'argumentation
, mars,avril,juin,juillet
, 2000
, Rapport de la convention de recherche Thomson-CSF - Inria Rennes 1 00 C 0155 00 31327 01 2
1999
-
P. Besnard and M.-O. Cordier :
Inferring causal explanations
, Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'99)
, Springer-Verlag
, Vol. 1638
, 55--67
, jul
, 1999
1998
-
P.~Besnard and J.-M.~Guinnebault and E.~Mayer :
Quantification propositionnelle en logique conditionnelle
, Actes de RFIA'98 (11e Congrès Reconnaissance des Formes et Intelligence Artificielle)
, Clermont-Ferrand
, 215-223
, Janvier
, 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
1997
-
P. Besnard and L. {Farinas del Cerro} and D. Gabbay and A. Hunter :
Logical Handling of Default and Inconsistent Information
, Chapitre 11
, Kluwer
, 1997
-
P. Besnard and T. Schaub :
Circumscribing Inconsistency
, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97)
, Nagoya, Japan
, 150-155
, 1997
-
P. Besnard and J.-M. Guinnebault :
The characterization of non-monotonic inference relations
, Proceedings of the Third Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications
, Saarbr\"ucken, Germany
, 120-129
, 1997
-
P. Besnard and J.-M. Guinnebault and E. Mayer :
Propositional Quantification for Conditional Logic
, First International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU-FAPR-97)
, Springer Verlag
, Bad Honnef, Allemagne
, No. 1244
, 183-197
, 1997
-
P. Besnard and T. Schaub :
Signed Systems for Paraconsistent Reasoning
, Automated Reasoning
, 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
-
P. Besnard and M.-O. Cordier :
Explanatory Diagnoses and their Characterization by Circumscription
, Annals of Mathematics and Artificial Intelligence
, Vol. 11
, 75-96
, 1994
-
Léa Sombé :
Revision and updating in knowledge bases
, Wiley eds
, New-York
, 1994
1992
-
P. Besnard and M.-O. Cordier :
Explanatory diagnoses and their computation by circumscription
, Proceedings of the10th ECAI (European Conference on AI)
, Vienna
, 1992
1990
-
Sombé, Léa :
Reasoning under Incomplete Information in Artificial Intelligence
, Wiley
, New York
, 1990
, English translation, slightly modified, of Som89.
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
|