| 2021 | ECSQARU | Inducing Inference Relations from Inconsistency Measures. | Xiaolong Liu, Philippe Besnard, Sylvie Doutre |
| 2020 | ECAI | Semantics of Negative Sequential Patterns. | Philippe Besnard, Thomas Guyet |
| 2019 | ICTAI | Admissible Generalizations of Examples as Rules. | Philippe Besnard, Thomas Guyet, Vronique Masson |
| 2019 | LPNMR | Assessing Arguments with Schemes and Fallacies. | Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard |
| 2017 | ICTAI | Subsumption and Incompatibility between Principles in Ranking-Based Argumentation. | Philippe Besnard, Victor David, Sylvie Doutre, Dominique Longin |
| 2016 | COMMA | SESAME - A System for Specifying Semantics in Abstract Argumentation. | Philippe Besnard, Sylvie Doutre, Van Hieu Ho, Dominique Longin |
| 2015 | AAAI | On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. | Philippe Besnard, ric Grgoire, Jean-Marie Lagniez |
| 2015 | ECSQARU | Representing and Reasoning About Arguments Mined from Texts and Dialogues. | Leila Amgoud, Philippe Besnard, Anthony Hunter |
| 2015 | ICTAI | Logical Representation and Analysis for RC-Arguments. | Leila Amgoud, Philippe Besnard, Anthony Hunter |
| 2014 | IPMU | Encoding Argument Graphs in Logic. | Philippe Besnard, Sylvie Doutre, Andreas Herzig |
| 2014 | JELIA | Revisiting Postulates for Inconsistency Measures. | Philippe Besnard |
| 2013 | KSEM | Handling Incoming Beliefs. | Philippe Besnard, ric Grgoire |
| 2012 | ECAI | Preemption Operators. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2012 | FUSION | Logic-based fusion of legal knowledge. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2012 | ICTAI | An Argumentation Framework for Reasoning about Bounded Resources. | Philippe Besnard, ric Grgoire, Badran Raddaoui |
| 2011 | ECSQARU | Overriding Subsuming Rules. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2011 | ICTAI | Identifying the Core of Logic-Based Argumentation Systems. | Leila Amgoud, Philippe Besnard, Srdjan Vesic |
| 2011 | KSEM | Enforcing Logically Weaker Knowledge in Classical Logic. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2010 | IRI | MUS-based generation of arguments and counter-arguments. | Philippe Besnard, ric Grgoire, Cdric Piette, Badran Raddaoui |
| 2010 | ICTAI | Absurdity, Contradictions, and Logical Formalisms. | Philippe Besnard |
| 2009 | ECSQARU | A Default Logic Patch for Default Logic. | Philippe Besnard, ric Grgoire, Sbastien Ramon |
| 2009 | IRI | About Agents that Reason by Case (Preliminary Report). | Philippe Besnard, ric Grgoire |
| 2008 | ECAI | Deriving explanations from causal information. | Philippe Besnard, Marie-Odile Cordier, Yves Moinard |
| 2007 | KSEM | Ontology-Based Inference for Causal Explanation. | Philippe Besnard, Marie-Odile Cordier, Yves Moinard |
| 2006 | ECAI | Variable Forgetting in Preference Relations over Propositional Domains. | Philippe Besnard, Jrme Lang, Pierre Marquis |
| 2006 | KR | Knowledgebase Compilation for Efficient Logical Argumentation. | Philippe Besnard, Anthony Hunter |
| 2006 | KSEM | Configurations for Inference Between Causal Statements. | Philippe Besnard, Marie-Odile Cordier, Yves Moinard |
| 2005 | AAAI | Practical First-Order Argumentation. | Philippe Besnard, Anthony Hunter |
| 2005 | ECSQARU | Remedying Inconsistent Sets of Premises. | Philippe Besnard |
| 2004 | KR | Characterization of Semantics for Argument Systems. | Philippe Besnard, Sylvie Doutre |
| 2003 | ECSQARU | Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2003 | ECSQARU | Modal (Logic) Paraconsistency. | Philippe Besnard, Paul Wong |
| 2003 | KI | Optimality Theory through Default Logic. | Philippe Besnard, Robert E. Mercer, Torsten Schaub |
| 2002 | JELIA | Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2000 | AAAI | Towards a Logic-Based Theory of Argumentation. | Philippe Besnard, Anthony Hunter |
| 2000 | KR | Significant Inferences : Preliminary Report. | Philippe Besnard, Torsten Schaub |
| 1999 | ECSQARU | Inferring Causal Explanations. | Philippe Besnard, Marie-Odile Cordier |
| 1997 | ECSQARU | Propositional Quantification for Conditional Logic. | Philippe Besnard, Jean-Marc Guinnebault, Emmanuel Mayer |
| 1997 | IJCAI | Circumscribing Inconsistency. | Philippe Besnard, Torsten Schaub |
| 1996 | ECAI | A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning. | Philippe Besnard, Yao-Hua Tan |
| 1996 | JELIA | A Simple Signed System for Paraconsistent Reasoning. | Philippe Besnard, Torsten Schaub |
| 1995 | ECSQARU | Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information. | Philippe Besnard, Anthony Hunter |
| 1994 | IPMU | Implication Connectives for Logics with Right Weakening. | Philippe Besnard, Yves Moinard |
| 1994 | UAI | Possibility and Necessity Functions over Non-Classical Logics. | Philippe Besnard, Jrme Lang |
| 1993 | AAAI | A Context-Based Framework for Default Logics. | Philippe Besnard, Torsten Schaub |
| 1992 | AIMSA | Non-Monotonic Logics: A Valuations-Based Approach. | Philippe Besnard, Robert E. Mercer |
| 1992 | ECAI | Explanatory Diagnoses and their Computation by Circumscription. | Philippe Besnard, Marie-Odile Cordier |
| 1992 | JELIA | About Deductive Generalization. | Philippe Besnard, ric Grgoire |
| 1991 | ECSQARU | Default Logics. | Philippe Besnard |
| 1990 | AIMSA | Logics for Automated Reasoning in the Presence of Contradictions. | Philippe Besnard |
| 1988 | CADE | Supposition-Based Logic for Automated Nonmontonic Reasoning. | Philippe Besnard, Pierre Siegel |
| 1988 | ECAI | A Formula Circumscriptively both Valid and Unprovable. | Philippe Besnard, Jean Houdebine, Raymond Rolland |
| 1983 | AAAI | A Theorem-Prover for a Decidable Subset of Default Logic. | Philippe Besnard, Rene Quiniou, Patrice Quinton |