Publications de
Philippe Besnard, Eric Grégoire, Sébastien Ramon
Overriding subsuming rules
Dans : International Journal of Approximate Reasoning (IJAR), Elsevier, Vol. 54, p. 452-466, 2013.
Leila Amgoud, Philippe Besnard
Logical limits of abstract argumentation frameworks
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 23 N. 3, p. 229-267, septembre 2013.
Philippe Besnard, Eric Grégoire, Cédric Piette, Badran Raddaoui
Calcul d’arguments et de contre-arguments fondé sur les noyaux inconsistants
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 26, p. 209-224, 2012.
A Logical Analysis of Rule Inconsistency.
Dans : International Journal of Semantic Computing, World Scientific, Vol. 5 N. 3, p. 271-280, 2011.
Philippe Besnard, Anthony Hunter, Stefan Woltran
Encoding deductive argumentation in quantified Boolean formulae.
Dans : Artificial Intelligence, Elsevier, Vol. 173 N. 15, p. 1406-1423, 2009.
Philippe Besnard, Sébastien Konieczny, Pierre Marquis
Bipolarity in Bilattice Logics
Dans : International Journal of Intelligent Systems, Wiley, Numéro spécial Special Issue: Bipolar Representations of Information and Preference. Part 2: Reasoning and Learning, Vol. 23 N. 10, p. 1046-1061, octobre 2008.
Remedying inconsistent sets of premises
Dans : International Journal of Approximate Reasoning (IJAR), Elsevier, Vol. 45 N. 2, p. 308-320, 2007.
Philippe Besnard, Gisbert Fanselow, Torsten Schaub
Optimality Theory as a Family of Cumulative Logics
Dans : Journal of Logic, Language, and Information, Kluwer, Vol. 12, p. 153-182, 2003.
Paraconsistent Reasoning as an Analytical Tool
Dans : Logic Journal IGPL, Oxford University Press, Vol. 9 N. 2, 2001.
Alain Appriou, Andre Ayoun, Salem Benferhat, Philippe Besnard, Isabelle Bloch, Laurence Cholvy, Roger Cooke, Frédéric Cuppens, Didier Dubois, Hélène Fargier, Michel Grabisch, Anthony Hunter, Rodolf Kruse, Jérôme Lang, Serafin Moral, Henri Prade, Alessandro Saffiotti, Philippe Smets, Claudio Sossai
Fusion: general concepts and characteristics
Dans : International Journal of Intelligent Systems, Special Issue on Data and Knowledge Fusion (Part I of II), John Wiley&Sons, Inc., Vol. 16 N. 10, p. 1107-1134, octobre 2001.
Philippe Besnard, Anthony Hunter
A logic-based theory of deductive arguments
Dans : Artificial Intelligence, Vol. 128, p. 203-235, 2001.
Philippe Besnard, Torsten Schaub
What is a (non-constructive) non-monotone logical system?
Dans : Theoretical Computer Science, Vol. 238, p. 489-494, 2000.
Philippe Besnard, Torsten Schaub
Signed systems for paraconsistent reasoning
Dans : Journal of Automated Reasoning, Vol. 20, p. 191-213, 1998.
Philippe Besnard, Laurence Cholvy, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Revision and updating in knowledge bases
Dans : International Journal of Intelligent Systems, Wiley, Numéro spécial Special Issue on Revision and Upadating in Knowledge bases, Vol. 9 N. 1, p. 1-182, 1994.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Reasoning under incomplete information in Artificial Intelligence: A comparison of formalisms using a single example
Dans : International Journal of Intelligent Systems, Wiley, Vol. 5 N. 4, p. 323-471, 1990.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
raisonnement sur des informations incomplétes en Intellignece Artificielle – Comparaison à partir d’un exemple
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 2, N. 3-4, p. 9-210, 1989.
Philippe Besnard, Eric Grégoire
Handling Incoming Beliefs (regular paper)
Dans : International Conference on Knowledge Science, Engineering and Management (KSEM 2013), Dalian, China, 10/08/13-12/08/13, Mingzheng Wang (Eds.), Springer, Lecture Notes in Computer Science 8041, p. 206-217, août 2013.
Philippe Besnard, Eric Grégoire, Badran Raddaoui
A Conditional Logic-Based Argumentation Framework (regular paper)
Dans : International Conference on Scalable Uncertainty Management (SUM 2013), Washington, D.C., U.S.A., 16/09/13-18/09/13, Weiru Liu, V. S. Subrahmanian, Jef Wijsen (Eds.), Springer, Lecture Notes in Computer Science 8078, p. 44-56, septembre 2013.
Leila Amgoud, Philippe Besnard
A formal characterization of the outcomes of rule-based argumentation systems (regular paper)
Dans : International Conference on Scalable Uncertainty Management (SUM 2013), Washington, 16/09/13-18/09/13, Springer, p. 78-91, septembre 2013.
Philippe Besnard, Eric Grégoire, Badran Raddaoui
An Argumentation Framework for Reasoning about Bounded Resources (regular paper)
Dans : International Conference on Tools with Artificial Intelligence (ICTAI 2012), Athens, Greece, 07/11/12-09/11/12, IEEE : Institute of Electrical and Electronics Engineers, p. 540-547, 2012.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
Preemption Operators (short paper)
Dans : European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, 27/08/12-31/08/12, Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi (Eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, p. 893-894, août 2012.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
Logic-based fusion of legal knowledge (regular paper)
Dans : International Conference on Information Fusion (FUSION 2012), Singapore, 09/07/12-12/07/12, IEEE : Institute of Electrical and Electronics Engineers, p. 587-592, juillet 2012.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
Overriding Subsuming Rules. (regular paper)
Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011), Belfast, UK, 29/06/11-01/07/11, Weiru Liu (Eds.), Springer, Lecture Notes in Computer Science 6717, p. 532-544, 2011.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
Enforcing Logically Weaker Knowledge in Classical Logic. (regular paper)
Dans : International Conference on Knowledge Science, Engineering and Management (KSEM 2011), Irvine, CA, USA, 12/12/11-14/12/11, Hui Xiong, W. B. Lee (Eds.), Springer, Lecture Notes in Computer Science 7091, p. 44-55, 2011.
Leila Amgoud, Philippe Besnard, Srdjan Vesic
Identifying the core of logic-based argumentation systems (short paper)
Dans : IEEE International Conference on Tools with Artificial Intelligence, Boca Raton, Florida, USA, 07/11/11-09/11/11, Taghi M. Khoshgoftaa, Xingquan Zhu (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 633-636, novembre 2011.
Absurdity, Contradictions, and Logical Formalisms. (regular paper)
Dans : International Conference on Tools with Artificial Intelligence (ICTAI 2010), Arras, France, 27/10/10-29/10/10, Vol. 1, IEEE Computer Society, p. 369-374, 2010.
Philippe Besnard, Eric Grégoire, Cédric Piette, Badran Raddaoui
MUS-based generation of arguments and counter-arguments. (regular paper)
Dans : IEEE International Conference on Information Reuse and Integration (IRI 2010), Las Vegas, Nevada, USA, 04/08/10-06/08/10, IEEE Systems, Man, and Cybernetics Society, p. 239-244, 2010.
Leila Amgoud, Philippe Besnard
A formal analysis of logic-based argumentation systems (regular paper)
Dans : International Conference on Scalable Uncertainty Management (SUM 2010), Toulouse, 01/09/10-02/09/10, Springer-Verlag, p. 42-55, septembre 2010.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
A Default Logic Patch for Default Logic. (regular paper)
Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, 01/07/09-03/07/09, Claudio Sossai, Gaetano Chemello (Eds.), Springer, Lecture Notes in Computer Science 5590, p. 578-589, 2009.
Philippe Besnard, Eric Grégoire
About Agents that Reason by Case (Preliminary Report). (regular paper)
Dans : IEEE International Conference on Information Reuse and Integration (IRI 2009), Las Vegas, Nevada, USA, 10/08/09-12/08/09, IEEE Systems, Man, and Cybernetics Society, p. 405-410, 2009.
Leila Amgoud, Philippe Besnard
Bridging the gap between abstract argumentation systems and logic
Dans : International Conference on Scalable Uncertainty Management (SUM 2009), Washington DC, USA, 28/09/09-30/09/09, Lluis Godo, Andrea Pugliese (Eds.), Springer, p. 12-27, septembre 2009.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Deriving Explanations from Causal Information
Dans : European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21/07/08-25/07/08, M. Ghallab, C. D. Spyropoulos, N. Fakotakis, N. Avouris (Eds.), IOS Press, p. 44-45, juillet 2008.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Ontology-Based Inference for Causal Explanation
Dans : International Conference on Knowledge Science, Engineering and Management (KSEM 2007), Melbourne, 26/11/07-30/11/07, Springer-Verlag, p. 153-164, novembre 2007.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Configurations for Inference Between Causal Statements
Dans : International Conference on Knowledge Science, Engineering and Management (KSEM 2006), Guilin, China, 05/08/06-08/08/06, Vol. 4092, Jérôme Lang, Fangzhen Lin, Ju Wang (Eds.), Springer, LNCS, p. 292-304, 2006.
Philippe Besnard, Anthony Hunter
Compilation for Efficient Logical Argumentation
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District, United Kingdom, 02/06/06-05/06/06, Patrick Doherty, John Mylopoulos, Christopher Welty (Eds.), AAAI Press, p. 123-133, 2006.
Philippe Besnard, Jérôme Lang, Pierre Marquis
Variable Forgetting in Preference Relations over Propositional Domains
Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 29/08/06-01/09/06, G. Brewka, S. Coradeschi, A. Perini, P. Traverso (Eds.), IOS Press, p. 763-764, 2006.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Configurations for Inference from Causal Statements: Preliminary Report
Dans : 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, 21/01/05-23/09/05, Vol. 3673, Stefania Bandini, Sara Manzoni (Eds.), Springer, LNCS, p. 282-285, 2005.
Remedying Inconsistent Sets of Premises
Dans : 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Barcelona, Spain, 06/07/05-08/07/05, Vol. 3571, Lluis Godo (Eds.), Springer, LNCS, p. 427-439, 2005.
Philippe Besnard, Anthony Hunter
Practical First-Order Argumentation
Dans : 20th National Conference on Artificial Intelligence, Pittsburgh (PA), USA, 09/07/05-13/07/05, Manuela Veloso, Subbarao Kambhampati (Eds.), AAAI Press, p. 590-595, 2005.
Philippe Besnard, Jérôme Lang, Pierre Marquis
Variable forgetting in preference relations over propositional domains
Dans : Proc. of Multidisciplinary IJCAI’05 Workshop on Advances in Preference Handling, Edinburg, Scotland, 31/07/05-01/08/05.
Sebastian Schaffert, Francois Bry, Philippe Besnard, Hendrik Decker, Stephan Decker, Carlos Enguix, Andreas Herzig
Paraconsistent reasoning for the semantic web (position paper)
Dans : ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Galway, Ireland, 07/11/05, Ken Laskey (Eds.).
Accounts of Absurdity in Paraconsistent Logics
Dans : Advances in Intelligent Systems: Theory and Applications, Luxembourg, 15/11/04-18/11/04, IEEE, novembre 2004.
Philippe Besnard, Sylvie Doutre
Checking the acceptability of a set of arguments
Dans : Proc. 10th Int. Workshop on Non-Monotonic Reasoning (NMR’2004), Whistler, Canada, 06/06/04-08/06/04.
Accès : ftp://ftp.irit.fr/pub/IRIT/ADRIA/BD_NMR04.pdf
BibTeXPhilippe Besnard, Sylvie Doutre
Characterization of semantics for argument systems
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada, 02/06/04-05/06/04, Didier Dubois, Chris Welty, Mary-Anne Williams (Eds.), AAAI Press, p. 183-193, juin 2004.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Logics for Reasoning via Quantified Booelan Formulas II: Circumscribing Inconsistent Theories
Dans : 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Aalborg, Denmark, 02/07/03-05/07/03, Thomas Nielsen, Nevin Zhang (Eds.), Springer, p. 528-539, juillet 2003.
Modal (Logic) Paraconsistency
Dans : 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Aalborg, Denmark, 02/07/03-05/07/03, Thomas Nielsen, Nevin Zhang (Eds.), Springer, p. 540-551, juillet 2003.
Philippe Besnard, Robert Mercer, Torsten Schaub
Optimality Theory through Default Logic
Dans : 26th German Conference on Artificial Intelligence, Hamburg, 15/09/03-18/09/03, Andreas Gunter, Rudolf Kruse, Bernd Neumann (Eds.), Springer, p. 93-104, septembre 2003.
Philippe Besnard, Sylvie Doutre
Vérifier l’acceptabilité d’ensembles d’arguments
Dans : Journées Nationales sur les Modèles de Raisonnement (JNMR’03), Paris, 27/11/03-28/11/03.
Résumé Accès : http://www.cril.univ-artois.fr/~marquis/JNMR03/besnard-doutre.ps.gz
BibTeXPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Reasoning via Quantified Boolean Formulas I: Axiomatising Signed Systems
Dans : Paraconsistent Computational Logic Workshop – part of Federated Logic Conference (FLoC-2002), Roskilde, Denmark, 27/07/02-28/07/02, Hendrik Decker, Jorgen Villadsen, Toshiharu Waragai (Eds.).
Philippe Besnard, Robert Mercer, Torsten Schaub
Optimality Theory through Default Logic
Dans : 9th Workshop on Non-Monotonic Reasoning (NMR-2002), Toulouse, France, 19/04/02-21/04/02, Salem Benferhat, Enrico Giunchiglia (Eds.).
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Reasoning via Quantified Boolean Formulas I: Axiomatising Signed Systems
Dans : 8th European Conference on Logics in Artificial Intelligence (JELIA-2002), Cosenza, Italy, 23/09/02-26/09/02, Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (Eds.), Springer, p. 320-331, septembre 2002.
Paraconsistent reasoning as an analytical tool
Dans : 3rd Int. Conference on Formal and Applied Practical Reasoning (FAPR 2000), London, U.K., 18/09/00-20/09/00.
Philippe Besnard, Torsten Schaub
Significant inferences: Preliminary report
Dans : 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-2000), Breckenridge, CO, USA, Morgan Kaufmann, p. 401-410, avril 2000.
Philippe Besnard, Marie-Odile Cordier
Inferring causal explanations
Dans : 5th European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU 1999), London, U.K., LNAI 1638, Springer, p. 55-67, juillet 1999.
Philippe Besnard, Torsten Schaub
Circumscribing Inconsistency
Dans : 15th Int. Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japan, Morgan Kaufmann, p. 150-155, août 1997.
Salem Benferhat, Philippe Besnard, Laurence Cholvy, Robert Demolombe, Didier Dubois, Olivier Gasquet, Jean-Louis Golmard, Andreas Herzig, Pierre Marquis, Yves Moinard, Henri Prade, Camilla Schwind
Lois, structures et dépendances
Dans : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, p. 145-160, mars 1997.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Laurence Cholvy, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Révision de bases de connaissances
Dans : Actes des 4èmes Journées Nationales du PRC_GDR Intelligence artificielle, Marseille, France, 19/10/92-21/10/92, Teknea, p. 207-238, 1992.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Inférences non-classiques en intelligence articielle. Ebauche de comparaisons sur un exemple
Dans : Actes 2èmes Journées Nationales du P.R.C – G.R.E.C.O. Intelligence articielle, toulouse, 14/03/88-15/03/88, Teknea, p. 137-230, 1988.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
A Glance at Preemption Operators
Dans : Trends in Belief Revision and Argumentation Dynamics. Eduardo Ferme, Dov Gabbay, Guillermo Simari (Eds.) , College Publications, p. 183-193, Vol. 48, Studies in Logic, 2013.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Representing Paraconsistent Reasoning via Quantified Propositional Logic
Dans : Inconsistency Tolerance. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (Eds.) , Springer, p. 84-118, Vol. 3300, LNCS, 2005.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Quantified Propositional Formulas for Paraconsistency
Dans : Inconsistency Tolerance. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (Eds.) , Springer, p. 20-42, 2004.
Graded paraconsistency
Dans : Frontiers in Paraconsistent Logic. Diderik Batens, Chris Mortensen, Graham Priest, Jean-Paul Van Bendegem (Eds.) , Research Studies Press, Baldock, Hertfordshire, England, p. 75-94, 2000.
Philippe Besnard, Anthony Hunter
Elements of Argumentation, The MIT Press, juin 2008.
Philippe Besnard, Anthony Hunter
Reasoning with Actual and Potential Contradictions
, Kluwer Academic Publishers, Vol. II, 1998.
Philippe Besnard, Laurence Cholvy, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Revision and Updating in Knowledge Bases, Wiley, 1994.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Reasoning under incomplete informatin in artificial intelligence: A comparison of formalisms using a single example, Wiley, 1990.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Raisonnement sur des informations incomplètes en Intelligence Artificielle – Comparaison de formalismes sur un exemple, Teknea, 1989.
Philippe Besnard, Andreas Herzig
Logical approaches to paraconsistency
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 15:1, 2005.
Accès : http://www.irit.fr/~Andreas.Herzig/P/jancl05.html
BibTeXSalem Benferhat, Philippe Besnard
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Dans : Journal of Applied Non-Classical Logics, Hermes, Vol. 12, 2002.
Philippe Besnard, Sylvie Doutre, Anthony Hunter
Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, 28/05/08 – 30/05/08, IOS Press, Frontiers in Artificial Intelligence and Applications ISBN 978-1-58603-859-5, mai 2008.
Résumé Accès : http://www.iospress.nl/loadtop/load.php?isbn=9781586038595
BibTeXSalem Benferhat, Philippe Besnard
Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001), Toulouse, France. LNAI 2143, Springer, 2001.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Laurence Cholvy, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Informations incomplètes-Informations contradictoires – Raisonnement plausible et révision de croyances
Diffusion scientifique. 1993. Courrier du CNRS, Numéro Spécial “Informatique”, N°80, pp 68-69