A Theorem-Prover for a Decidable Subset of Default Logic. - Philippe Besnard; Rene Quiniou; Patrice Quinton (AAAI, 1983)

Sur la détection des boucles infinies en programmation en logique. - Philippe Besnard (SPLT, 1985)

Supposition-Based Logic for Automated Nonmontonic Reasoning. - Philippe Besnard; Pierre Siegel (CADE, 1988)

A Formula Circumscriptively both Valid and Unprovable. - Philippe Besnard; Jean Houdebine; Raymond Rolland (ECAI, 1988)

An introduction to default logic. - Philippe Besnard (Springer, 1989)

An introduction to default logic. - Philippe Besnard (Springer, 1989)

The Importance of Open and Recursive Circumscription. - Philippe Besnard; Yves Moinard; Robert E. Mercer (Artif. Intell., 1989)

Logics for Automated Reasoning in the Presence of Contradictions. - Philippe Besnard (AIMSA, 1990)

Default Logics. - Philippe Besnard (ECSQARU, 1991)

Deductive Generalization in a Default Logic Setting. - Philippe Besnard; Éric Grégoire (Nonmonotonic and Inductive Logic, 1991)

Non-Monotonic Logics: A Valuations-Based Approach. - Philippe Besnard; Robert E. Mercer (AIMSA, 1992)

Explanatory Diagnoses and their Computation by Circumscription. - Philippe Besnard; Marie-Odile Cordier (ECAI, 1992)

About Deductive Generalization. - Philippe Besnard; Éric Grégoire (JELIA, 1992)

A Context-Based Framework for Default Logics. - Philippe Besnard; Torsten Schaub (AAAI, 1993)

DRUMS: Defeasible Reasoning and Uncertainty Management Systems. - Philippe Besnard; Yves Moinard; Wilmer Pereira; Michael Clarke; Nic Wilson; Miguel Delgado 001; Serafín Moral; Juan Cano; Didier Dubois; Henri Prade; Luis Fariñas del Cerro; Jérôme Lang; et al. (AI Commun., 1993)

Implication Connectives for Logics with Right Weakening. - Philippe Besnard; Yves Moinard (IPMU, 1994)

Possibility and Necessity Functions over Non-Classical Logics. - Philippe Besnard; Jérôme Lang (UAI, 1994)

Explanatory Diagnoses and Their Characterization by Circumscription. - Philippe Besnard; Marie-Odile Cordier (Ann. Math. Artif. Intell., 1994)

Possible Worlds Semantics for Default Logics. - Philippe Besnard; Torsten Schaub (Fundam. Informaticae, 1994)

A knowledge representation perspective: Logics for paraconsistent reasoning. - Philippe Besnard; Els Laenens (Int. J. Intell. Syst., 1994)

Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information. - Philippe Besnard; Anthony Hunter (ECSQARU, 1995)

An Approach to Context-Based Default Reasoning. - Philippe Besnard; Torsten Schaub (Fundam. Informaticae, 1995)

Evidence Theory Based on General Consequence Relations. - Philippe Besnard; Jürg Kohlas (Int. J. Found. Comput. Sci., 1995)

Logical Handling of Inconsistent and Default Information. - Philippe Besnard; Luis Fariñas del Cerro; Dov M. Gabbay; Anthony Hunter (Uncertainty Management in Information Systems, 1996)

A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning. - Philippe Besnard; Yao-Hua Tan (ECAI, 1996)

A Simple Signed System for Paraconsistent Reasoning. - Philippe Besnard; Torsten Schaub (JELIA, 1996)

Propositional Quantification for Conditional Logic. - Philippe Besnard; Jean-Marc Guinnebault; Emmanuel Mayer (ECSQARU-FAPR, 1997)

Circumscribing Inconsistency. - Philippe Besnard; Torsten Schaub (IJCAI (1), 1997)

Signed Systems for Paraconsistent Reasoning. - Philippe Besnard; Torsten Schaub (J. Autom. Reason., 1998)

Inferring Causal Explanations. - Philippe Besnard; Marie-Odile Cordier (ESCQARU, 1999)

Towards a Logic-Based Theory of Argumentation. - Philippe Besnard; Anthony Hunter (AAAI/IAAI, 2000)

Significant Inferences : Preliminary Report. - Philippe Besnard; Torsten Schaub (KR, 2000)

What is a (non-constructive) non-monotone logical system? - Philippe Besnard; Torsten Schaub (Theor. Comput. Sci., 2000)

A logic-based theory of deductive arguments. - Philippe Besnard; Anthony Hunter (Artif. Intell., 2001)

Paraconsistent Reasoning as an Analytic Tool. - Paul Wong; Philippe Besnard (Log. J. IGPL, 2001)

Fusion: General concepts and characteristics. - Isabelle Bloch; Anthony Hunter; Alain Appriou; André Ayoun; Salem Benferhat; Philippe Besnard; Laurence Cholvy; Roger M. Cooke; Frédéric Cuppens; Didier Dubois; Hélène Fargier; Michel Grabisch; et al. (Int. J. Intell. Syst., 2001)

Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. - Philippe Besnard; Torsten Schaub; Hans Tompits; Stefan Woltran (Paraconsistent Computational Logic, 2002)

Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty. - Salem Benferhat; Philippe Besnard (J. Appl. Non Class. Logics, 2002)

Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. - Philippe Besnard; Torsten Schaub; Hans Tompits; Stefan Woltran (ECSQARU, 2003)

Modal (Logic) Paraconsistency. - Philippe Besnard; Paul Wong (ECSQARU, 2003)

Optimality Theory through Default Logic. - Philippe Besnard; Robert E. Mercer; Torsten Schaub (KI, 2003)

Optimality Theory as a Family of Cumulative Logics. - Philippe Besnard; Gisbert Fanselow; Torsten Schaub (J. Log. Lang. Inf., 2003)

Characterization of Semantics for Argument Systems. - Philippe Besnard; Sylvie Doutre (KR, 2004)

Checking the acceptability of a set of arguments. - Philippe Besnard; Sylvie Doutre (NMR, 2004)

Practical First-Order Argumentation. - Philippe Besnard; Anthony Hunter (AAAI, 2005)

Configurations for Inference from Causal Statements: Preliminary Report. - Philippe Besnard; Marie-Odile Cordier; Yves Moinard (AI*IA, 2005)

Representing Paraconsistent Reasoning via Quantified Propositional Logic. - Philippe Besnard; Torsten Schaub; Hans Tompits; Stefan Woltran (Inconsistency Tolerance, 2005)

Paraconsistent Reasoning for the Semantic Web. - Sebastian Schaffert; François Bry; Philippe Besnard; Hendrik Decker; Stefan Decker; Carlos F. Enguix; Andreas Herzig (ISWC-URSW, 2005)

Variable Forgetting in Preference Relations over Propositional Domains. - Philippe Besnard; Jérôme Lang; Pierre Marquis (ECAI, 2006)

Knowledgebase Compilation for Efficient Logical Argumentation. - Philippe Besnard; Anthony Hunter (KR, 2006)

Configurations for Inference Between Causal Statements. - Philippe Besnard; Marie-Odile Cordier; Yves Moinard (KSEM, 2006)

Remedying inconsistent sets of premises. - Philippe Besnard (Int. J. Approx. Reason., 2007)

Elements of Argumentation. - Philippe Besnard; Anthony Hunter (MIT Press, 2008)

Elements of Argumentation. - Philippe Besnard; Anthony Hunter (MIT Press, 2008)

Deriving explanations from causal information. - Philippe Besnard; Marie-Odile Cordier; Yves Moinard (ECAI, 2008)

Ontology-based inference for causal explanation. - Philippe Besnard; Marie-Odile Cordier; Yves Moinard (Integr. Comput. Aided Eng., 2008)

Bipolarity in bilattice logics. - Sébastien Konieczny; Pierre Marquis; Philippe Besnard (Int. J. Intell. Syst., 2008)

Argumentation Based on Classical Logic. - Philippe Besnard; Anthony Hunter (Argumentation in Artificial Intelligence, 2009)

A Default Logic Patch for Default Logic. - Philippe Besnard; Éric Grégoire; Sébastien Ramon (ECSQARU, 2009)

About Agents that Reason by Case (Preliminary Report). - Philippe Besnard; Éric Grégoire (IRI, 2009)

Bridging the Gap between Abstract Argumentation Systems and Logic. - Leila Amgoud; Philippe Besnard (SUM, 2009)

Encoding deductive argumentation in quantified Boolean formulae. - Philippe Besnard; Anthony Hunter; Stefan Woltran (Artif. Intell., 2009)

Absurdity, Contradictions, and Logical Formalisms. - Philippe Besnard (ICTAI (1), 2010)

MUS-based generation of arguments and counter-arguments. - Philippe Besnard; Éric Grégoire; Cédric Piette; Badran Raddaoui (IRI, 2010)

A Formal Analysis of Logic-Based Argumentation Systems. - Leila Amgoud; Philippe Besnard (SUM, 2010)

Identifying the Core of Logic-Based Argumentation Systems. - Leila Amgoud; Philippe Besnard; Srdjan Vesic (ICTAI, 2011)

Enforcing Logically Weaker Knowledge in Classical Logic. - Philippe Besnard; Éric Grégoire; Sébastien Ramon (KSEM, 2011)

A Logical Analysis of Rule Inconsistency. - Philippe Besnard (Int. J. Semantic Comput., 2011)

Preemption Operators. - Philippe Besnard; Éric Grégoire; Sébastien Ramon (ECAI, 2012)

Logic-based fusion of legal knowledge. - Philippe Besnard; Éric Grégoire; Sébastien Ramon (FUSION, 2012)

An Argumentation Framework for Reasoning about Bounded Resources. - Philippe Besnard; Éric Grégoire; Badran Raddaoui (ICTAI, 2012)

Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants. - Philippe Besnard; Éric Grégoire; Cédric Piette; Badran Raddaoui (Rev. d'Intelligence Artif., 2012)

Handling Incoming Beliefs. - Philippe Besnard; Éric Grégoire (KSEM, 2013)

A Conditional Logic-Based Argumentation Framework. - Philippe Besnard; Éric Grégoire; Badran Raddaoui (SUM, 2013)

Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (1995) - Philippe Besnard; Steve Hanks (CoRR, 2013)

Overriding subsuming rules. - Philippe Besnard; Éric Grégoire; Sébastien Ramon (Int. J. Approx. Reason., 2013)

Logical limits of abstract argumentation frameworks. - Leila Amgoud; Philippe Besnard (J. Appl. Non Class. Logics, 2013)

Arguments Using Ontological and Causal Knowledge. - Philippe Besnard; Marie-Odile Cordier; Yves Moinard (FoIKS, 2014)

Encoding Argument Graphs in Logic. - Philippe Besnard; Sylvie Doutre; Andreas Herzig (IPMU (2), 2014)

Revisiting Postulates for Inconsistency Measures. - Philippe Besnard (JELIA, 2014)

Introduction to structured argumentation. - Philippe Besnard; Alejandro Javier García; Anthony Hunter; Sanjay Modgil; Henry Prakken; Guillermo Ricardo Simari; Francesca Toni (Argument Comput., 2014)

Constructing argument graphs with deductive arguments: a tutorial. - Philippe Besnard; Anthony Hunter (Argument Comput., 2014)

A Note on Directions for Cumulativity. - Philippe Besnard (FLAP, 2014)

Equivalence in logic-based argumentation. - Leila Amgoud; Philippe Besnard; Srdjan Vesic (J. Appl. Non Class. Logics, 2014)

On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. - Philippe Besnard; Éric Grégoire; Jean-Marie Lagniez (AAAI, 2015)

Representing and Reasoning About Arguments Mined from Texts and Dialogues. - Leila Amgoud; Philippe Besnard; Anthony Hunter (ECSQARU, 2015)

Logical Representation and Analysis for RC-Arguments. - Leila Amgoud; Philippe Besnard; Anthony Hunter (ICTAI, 2015)

Un système argumentatif pour le raisonnement sur des ressources limitées. - Philippe Besnard; Éric Grégoire; Badran Raddaoui (Rev. d'Intelligence Artif., 2015)

SESAME - A System for Specifying Semantics in Abstract Argumentation. - Philippe Besnard; Sylvie Doutre; Van Hieu Ho; Dominique Longin (SAFA@COMMA, 2016)

Forgetting-Based Inconsistency Measure. - Philippe Besnard (SUM, 2016)

Le système Sesame : Spécifier des sémantiques argumentatives. - Philippe Besnard; Sylvie Doutre; Dominique Longin (APIA, 2017)

Subsumption and Incompatibility between Principles in Ranking-Based Argumentation. - Philippe Besnard; Victor David; Sylvie Doutre; Dominique Longin (ICTAI, 2017)

Foundations for a logic of arguments. - Leila Amgoud; Philippe Besnard; Anthony Hunter (J. Appl. Non Class. Logics, 2017)

Basic Postulates for Inconsistency Measures. - Philippe Besnard (Trans. Large Scale Data Knowl. Centered Syst., 2017)

Admissible Generalizations of Examples as Rules. - Philippe Besnard; Thomas Guyet; Véronique Masson (ICTAI, 2019)

Assessing Arguments with Schemes and Fallacies. - Pierre Bisquert; Florence Dupin de Saint-Cyr; Philippe Besnard (LPNMR, 2019)

A formal characterization of the outcomes of rule-based argumentation systems. - Leila Amgoud; Philippe Besnard (Knowl. Inf. Syst., 2019)

Argumentation and Inconsistency-Tolerant Reasoning. - Leila Amgoud; Philippe Besnard; Claudette Cayrol; Philippe Chatalic; Marie-Christine Lagasquie-Schiex (A Guided Tour of Artificial Intelligence Research (1) (I), 2020)

Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning. - Andreas Herzig; Philippe Besnard (A Guided Tour of Artificial Intelligence Research (1) (I), 2020)

Semantics of Negative Sequential Patterns. - Philippe Besnard; Thomas Guyet (ECAI, 2020)

Énumération des occurrences d'une chronique. - Thomas Guyet; Philippe Besnard; Ahmed Samet; Nasreddine Ben Salha; Nicolas Lachiche (EGC, 2020)

Relative inconsistency measures. - Philippe Besnard; John Grant (Artif. Intell., 2020)

Logical theories and abstract argumentation: A survey of existing works. - Philippe Besnard; Claudette Cayrol; Marie-Christine Lagasquie-Schiex (Argument Comput., 2020)

Inducing Inference Relations from Inconsistency Measures. - Xiaolong Liu 011; Philippe Besnard; Sylvie Doutre (ECSQARU, 2021)

Explaining Semantics and Extension Membership in Abstract Argumentation. - Philippe Besnard; Sylvie Doutre; Théo Duchatelle; Marie-Christine Lagasquie-Schiex (Intell. Syst. Appl., 2022)

Paraconsistent inference relations induced from inconsistency measures. - Xiaolong Liu 011; Philippe Besnard; Sylvie Doutre (Int. J. Approx. Reason., 2023)

Chronicles: Formalization of a Temporal Model - Thomas Guyet; Philippe Besnard (Springer, 2023)

Generic logical encoding for argumentation. - Philippe Besnard; Sylvie Doutre; Théo Duchatelle; Marie-Christine Lagasquie-Schiex (J. Log. Comput., 2023)