Philippe Besnard

121 papers A* 7A 10B 10C 17Misc 5Journal 40Unranked 23
YearRankTypeTitle / Venue / Authors
2023 — book
Chronicles: Formalization of a Temporal Model
Thomas Guyet, Philippe Besnard
2023 J jnl
Generic logical encoding for argumentation.
J. Log. Comput.
Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
2023 J jnl
Paraconsistent inference relations induced from inconsistency measures.
Int. J. Approx. Reason.
Xiaolong Liu, Philippe Besnard, Sylvie Doutre
2022 J jnl
Explaining Semantics and Extension Membership in Abstract Argumentation.
Intell. Syst. Appl.
Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
2021 C conf
Inducing Inference Relations from Inconsistency Measures.
ECSQARU
Xiaolong Liu, Philippe Besnard, Sylvie Doutre
2020 — ch.
Argumentation and Inconsistency-Tolerant Reasoning.
A Guided Tour of Artificial Intelligence Research (1) (I)
Leila Amgoud, Philippe Besnard, Claudette Cayrol, Philippe Chatalic, Marie-Christine Lagasquie-Schiex
2020 — ch.
Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning.
A Guided Tour of Artificial Intelligence Research (1) (I)
Andreas Herzig, Philippe Besnard
2020 J jnl
Logical theories and abstract argumentation: A survey of existing works.
Argument Comput.
Philippe Besnard, Claudette Cayrol, Marie-Christine Lagasquie-Schiex
2020 J jnl
Relative inconsistency measures.
Artif. Intell.
Philippe Besnard, John Grant
2020 A conf
Semantics of Negative Sequential Patterns.
ECAI
Philippe Besnard, Thomas Guyet
2020 J jnl
Semantics of negative sequential patterns.
CoRR
Thomas Guyet, Philippe Besnard
2020 — conf
Énumération des occurrences d'une chronique.
EGC
Thomas Guyet, Philippe Besnard, Ahmed Samet, Nasreddine Ben Salha, Nicolas Lachiche
2019 J jnl
A formal characterization of the outcomes of rule-based argumentation systems.
Knowl. Inf. Syst.
Leila Amgoud, Philippe Besnard
2019 B conf
Admissible Generalizations of Examples as Rules.
ICTAI
Philippe Besnard, Thomas Guyet, Véronique Masson
2019 B conf
Assessing Arguments with Schemes and Fallacies.
LPNMR
Pierre Bisquert, Florence Dupin de Saint-Cyr, Philippe Besnard
2017 J jnl
Basic Postulates for Inconsistency Measures.
Trans. Large Scale Data Knowl. Centered Syst.
Philippe Besnard
2017 J jnl
Foundations for a logic of arguments.
J. Appl. Non Class. Logics
Leila Amgoud, Philippe Besnard, Anthony Hunter
2017 — conf
Le système Sesame : Spécifier des sémantiques argumentatives.
APIA
Philippe Besnard, Sylvie Doutre, Dominique Longin
2017 B conf
Subsumption and Incompatibility between Principles in Ranking-Based Argumentation.
ICTAI
Philippe Besnard, Victor David, Sylvie Doutre, Dominique Longin
2016 — conf
Forgetting-Based Inconsistency Measure.
SUM
Philippe Besnard
2016 — conf
SESAME - A System for Specifying Semantics in Abstract Argumentation.
SAFA
Philippe Besnard, Sylvie Doutre, Van Hieu Ho, Dominique Longin
2015 B conf
Logical Representation and Analysis for RC-Arguments.
ICTAI
Leila Amgoud, Philippe Besnard, Anthony Hunter
2015 A* conf
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts.
AAAI
Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez
2015 C conf
Representing and Reasoning About Arguments Mined from Texts and Dialogues.
ECSQARU
Leila Amgoud, Philippe Besnard, Anthony Hunter
2015 J jnl
Un système argumentatif pour le raisonnement sur des ressources limitées.
Rev. d'Intelligence Artif.
Philippe Besnard, Éric Grégoire, Badran Raddaoui
2014 J jnl
A Note on Directions for Cumulativity.
FLAP
Philippe Besnard
2014 — conf
Arguments Using Ontological and Causal Knowledge.
FoIKS
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2014 J jnl
Arguments using ontological and causal knowledge.
CoRR
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2014 J jnl
Constructing argument graphs with deductive arguments: a tutorial.
Argument Comput.
Philippe Besnard, Anthony Hunter
2014 — conf
Encoding Argument Graphs in Logic.
IPMU (2)
Philippe Besnard, Sylvie Doutre, Andreas Herzig
2014 J jnl
Equivalence in logic-based argumentation.
J. Appl. Non Class. Logics
Leila Amgoud, Philippe Besnard, Srdjan Vesic
2014 J jnl
Introduction to structured argumentation.
Argument Comput.
Philippe Besnard, Alejandro Javier García, Anthony Hunter, Sanjay Modgil, Henry Prakken, Guillermo Ricardo Simari, Francesca Toni
2014 B conf
Revisiting Postulates for Inconsistency Measures.
JELIA
Philippe Besnard
2013 — conf
A Conditional Logic-Based Argumentation Framework.
SUM
Philippe Besnard, Éric Grégoire, Badran Raddaoui
2013 — conf
A Formal Characterization of the Outcomes of Rule-Based Argumentation Systems.
SUM
Leila Amgoud, Philippe Besnard
2013 C conf
Handling Incoming Beliefs.
KSEM
Philippe Besnard, Éric Grégoire
2013 J jnl
Logical limits of abstract argumentation frameworks.
J. Appl. Non Class. Logics
Leila Amgoud, Philippe Besnard
2013 J jnl
Overriding subsuming rules.
Int. J. Approx. Reason.
Philippe Besnard, Éric Grégoire, Sébastien Ramon
2013 J jnl
Possibility and Necessity Functions over Non-classical Logics
CoRR
Philippe Besnard, Jérôme Lang
2013 J jnl
Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (1995)
CoRR
Philippe Besnard, Steve Hanks
2012 B conf
An Argumentation Framework for Reasoning about Bounded Resources.
ICTAI
Philippe Besnard, Éric Grégoire, Badran Raddaoui
2012 J jnl
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants.
Rev. d'Intelligence Artif.
Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
2012 C conf
Logic-based fusion of legal knowledge.
FUSION
Philippe Besnard, Éric Grégoire, Sébastien Ramon
2012 A conf
Preemption Operators.
ECAI
Philippe Besnard, Éric Grégoire, Sébastien Ramon
2011 J jnl
A Logical Analysis of Rule Inconsistency.
Int. J. Semantic Comput.
Philippe Besnard
2011 C conf
Enforcing Logically Weaker Knowledge in Classical Logic.
KSEM
Philippe Besnard, Éric Grégoire, Sébastien Ramon
2011 B conf
Identifying the Core of Logic-Based Argumentation Systems.
ICTAI
Leila Amgoud, Philippe Besnard, Srdjan Vesic
2011 C conf
Overriding Subsuming Rules.
ECSQARU
Philippe Besnard, Éric Grégoire, Sébastien Ramon
2010 — conf
A Formal Analysis of Logic-Based Argumentation Systems.
SUM
Leila Amgoud, Philippe Besnard
2010 — conf
Absurdity, Contradictions, and Logical Formalisms.
ICTAI (1)
Philippe Besnard
2010 Misc conf
MUS-based generation of arguments and counter-arguments.
IRI
Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui
2010 J jnl
Ontology-based inference for causal explanation
CoRR
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2009 C conf
A Default Logic Patch for Default Logic.
ECSQARU
Philippe Besnard, Éric Grégoire, Sébastien Ramon
2009 Misc conf
About Agents that Reason by Case (Preliminary Report).
IRI
Philippe Besnard, Éric Grégoire
2009 — ch.
Argumentation Based on Classical Logic.
Argumentation in Artificial Intelligence
Philippe Besnard, Anthony Hunter
2009 — conf
Bridging the Gap between Abstract Argumentation Systems and Logic.
SUM
Leila Amgoud, Philippe Besnard
2009 J jnl
Encoding deductive argumentation in quantified Boolean formulae.
Artif. Intell.
Philippe Besnard, Anthony Hunter, Stefan Woltran
2008 J jnl
Bipolarity in bilattice logics.
Int. J. Intell. Syst.
Sébastien Konieczny, Pierre Marquis, Philippe Besnard
2008 C ed.
Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, May 28-30, 2008.
COMMA
Philippe Besnard, Sylvie Doutre, Anthony Hunter
2008 A conf
Deriving explanations from causal information.
ECAI
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2008 — book
Elements of Argumentation.
Philippe Besnard, Anthony Hunter
2008 — book
Elements of Argumentation.
Philippe Besnard, Anthony Hunter
2008 J jnl
Ontology-based inference for causal explanation.
Integr. Comput. Aided Eng.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2007 C conf
Ontology-Based Inference for Causal Explanation.
KSEM
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2007 J jnl
Remedying inconsistent sets of premises.
Int. J. Approx. Reason.
Philippe Besnard
2006 C conf
Configurations for Inference Between Causal Statements.
KSEM
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2006 A* conf
Knowledgebase Compilation for Efficient Logical Argumentation.
KR
Philippe Besnard, Anthony Hunter
2006 A conf
Variable Forgetting in Preference Relations over Propositional Domains.
ECAI
Philippe Besnard, Jérôme Lang, Pierre Marquis
2005 — conf
Configurations for Inference from Causal Statements: Preliminary Report.
AI*IA
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
2005 — conf
Paraconsistent Reasoning for the Semantic Web.
ISWC-URSW
Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig
2005 A* conf
Practical First-Order Argumentation.
AAAI
Philippe Besnard, Anthony Hunter
2005 C conf
Remedying Inconsistent Sets of Premises.
ECSQARU
Philippe Besnard
2005 — conf
Representing Paraconsistent Reasoning via Quantified Propositional Logic.
Inconsistency Tolerance
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2004 A* conf
Characterization of Semantics for Argument Systems.
KR
Philippe Besnard, Sylvie Doutre
2004 — conf
Checking the acceptability of a set of arguments.
NMR
Philippe Besnard, Sylvie Doutre
2003 C conf
Modal (Logic) Paraconsistency.
ECSQARU
Philippe Besnard, Paul Wong
2003 J jnl
Optimality Theory as a Family of Cumulative Logics.
J. Log. Lang. Inf.
Philippe Besnard, Gisbert Fanselow, Torsten Schaub
2003 Misc conf
Optimality Theory through Default Logic.
KI
Philippe Besnard, Robert E. Mercer, Torsten Schaub
2003 C conf
Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.
ECSQARU
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 J jnl
Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty.
J. Appl. Non Class. Logics
Salem Benferhat, Philippe Besnard
2002 — conf
Optimality theory through default logic.
NMR
Philippe Besnard, Robert E. Mercer, Torsten Schaub
2002 B conf
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
JELIA
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 — conf
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
Paraconsistent Computational Logic
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2001 J jnl
A logic-based theory of deductive arguments.
Artif. Intell.
Philippe Besnard, Anthony Hunter
2001 J jnl
Fusion: General concepts and characteristics.
Int. J. Intell. Syst.
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, Rudolf Kruse, Jérôme Lang, Serafín Moral, Henri Prade, Alessandro Saffiotti, Philippe Smets, Claudio Sossai
2001 J jnl
Paraconsistent Reasoning as an Analytic Tool.
Log. J. IGPL
Paul Wong, Philippe Besnard
2001 C ed.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings
ECSQARU
Salem Benferhat, Philippe Besnard
2000 A* conf
Significant Inferences : Preliminary Report.
KR
Philippe Besnard, Torsten Schaub
2000 — conf
Towards a Logic-Based Theory of Argumentation.
AAAI/IAAI
Philippe Besnard, Anthony Hunter
2000 J jnl
What is a (non-constructive) non-monotone logical system?
Theor. Comput. Sci.
Philippe Besnard, Torsten Schaub
1999 — conf
Inferring Causal Explanations.
ESCQARU
Philippe Besnard, Marie-Odile Cordier
1998 J jnl
Signed Systems for Paraconsistent Reasoning.
J. Autom. Reason.
Philippe Besnard, Torsten Schaub
1997 — conf
Circumscribing Inconsistency.
IJCAI (1)
Philippe Besnard, Torsten Schaub
1997 — conf
Propositional Quantification for Conditional Logic.
ECSQARU-FAPR
Philippe Besnard, Jean-Marc Guinnebault, Emmanuel Mayer
1996 A conf
A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning.
ECAI
Philippe Besnard, Yao-Hua Tan
1996 B conf
A Simple Signed System for Paraconsistent Reasoning.
JELIA
Philippe Besnard, Torsten Schaub
1996 — ch.
Logical Handling of Inconsistent and Default Information.
Uncertainty Management in Information Systems
Philippe Besnard, Luis Fariñas del Cerro, Dov M. Gabbay, Anthony Hunter
1995 J jnl
An Approach to Context-Based Default Reasoning.
Fundam. Informaticae
Philippe Besnard, Torsten Schaub
1995 J jnl
Evidence Theory Based on General Consequence Relations.
Int. J. Found. Comput. Sci.
Philippe Besnard, Jürg Kohlas
1995 C conf
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information.
ECSQARU
Philippe Besnard, Anthony Hunter
1995 A ed.
UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, Montreal, Quebec, Canada, August 18-20, 1995
UAI
Philippe Besnard, Steve Hanks
1994 J jnl
A knowledge representation perspective: Logics for paraconsistent reasoning.
Int. J. Intell. Syst.
Philippe Besnard, Els Laenens
1994 J jnl
Explanatory Diagnoses and Their Characterization by Circumscription.
Ann. Math. Artif. Intell.
Philippe Besnard, Marie-Odile Cordier
1994 C conf
Implication Connectives for Logics with Right Weakening.
IPMU
Philippe Besnard, Yves Moinard
1994 A conf
Possibility and Necessity Functions over Non-Classical Logics.
UAI
Philippe Besnard, Jérôme Lang
1994 J jnl
Possible Worlds Semantics for Default Logics.
Fundam. Informaticae
Philippe Besnard, Torsten Schaub
1993 A* conf
A Context-Based Framework for Default Logics.
AAAI
Philippe Besnard, Torsten Schaub
1993 J jnl
DRUMS: Defeasible Reasoning and Uncertainty Management Systems.
AI Commun.
Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul J. Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramón López de Mántaras, Lluís Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney
1992 B conf
About Deductive Generalization.
JELIA
Philippe Besnard, Éric Grégoire
1992 A conf
Explanatory Diagnoses and their Computation by Circumscription.
ECAI
Philippe Besnard, Marie-Odile Cordier
1992 Misc conf
Non-Monotonic Logics: A Valuations-Based Approach.
AIMSA
Philippe Besnard, Robert E. Mercer
1991 — conf
Deductive Generalization in a Default Logic Setting.
Nonmonotonic and Inductive Logic
Philippe Besnard, Éric Grégoire
1991 C conf
Default Logics.
ECSQARU
Philippe Besnard
1990 Misc conf
Logics for Automated Reasoning in the Presence of Contradictions.
AIMSA
Philippe Besnard
1989 — book
An introduction to default logic.
Philippe Besnard
1989 — book
An introduction to default logic.
Philippe Besnard
1989 J jnl
The Importance of Open and Recursive Circumscription.
Artif. Intell.
Philippe Besnard, Yves Moinard, Robert E. Mercer
1988 A conf
A Formula Circumscriptively both Valid and Unprovable.
ECAI
Philippe Besnard, Jean Houdebine, Raymond Rolland
1988 A conf
Supposition-Based Logic for Automated Nonmontonic Reasoning.
CADE
Philippe Besnard, Pierre Siegel
1985 — conf
Sur la détection des boucles infinies en programmation en logique.
SPLT
Philippe Besnard
1983 A* conf
A Theorem-Prover for a Decidable Subset of Default Logic.
AAAI
Philippe Besnard, Rene Quiniou, Patrice Quinton