Philippe Besnard

Affiliations:
  • IRIT, Toulouse, France


According to our database1, Philippe Besnard authored at least 108 papers between 1983 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Generic logical encoding for argumentation.
J. Log. Comput., April, 2023

Chronicles: Formalization of a Temporal Model
Springer Briefs in Computer Science, Springer, ISBN: 978-3-031-33692-8, 2023

Paraconsistent inference relations induced from inconsistency measures.
Int. J. Approx. Reason., 2023

2022
Explaining Semantics and Extension Membership in Abstract Argumentation.
Intell. Syst. Appl., 2022

2021
Inducing Inference Relations from Inconsistency Measures.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020
Logical theories and abstract argumentation: A survey of existing works.
Argument Comput., 2020

Relative inconsistency measures.
Artif. Intell., 2020

Énumération des occurrences d'une chronique.
Proceedings of the Extraction et Gestion des Connaissances, 2020

Semantics of Negative Sequential Patterns.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning.
Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, 2020

Argumentation and Inconsistency-Tolerant Reasoning.
Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, 2020

2019
A formal characterization of the outcomes of rule-based argumentation systems.
Knowl. Inf. Syst., 2019

Assessing Arguments with Schemes and Fallacies.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Admissible Generalizations of Examples as Rules.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2017
Basic Postulates for Inconsistency Measures.
Trans. Large Scale Data Knowl. Centered Syst., 2017

Foundations for a logic of arguments.
J. Appl. Non Class. Logics, 2017

Subsumption and Incompatibility between Principles in Ranking-Based Argumentation.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Le système Sesame : Spécifier des sémantiques argumentatives.
Proceedings of the 3ème Conférence Nationale sur les Applications Pratiques de l'Intelligence Artificielle, 2017

2016
Forgetting-Based Inconsistency Measure.
Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

SESAME - A System for Specifying Semantics in Abstract Argumentation.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016

2015
Un système argumentatif pour le raisonnement sur des ressources limitées.
Rev. d'Intelligence Artif., 2015

Logical Representation and Analysis for RC-Arguments.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Representing and Reasoning About Arguments Mined from Texts and Dialogues.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Equivalence in logic-based argumentation.
J. Appl. Non Class. Logics, 2014

A Note on Directions for Cumulativity.
FLAP, 2014

Constructing argument graphs with deductive arguments: a tutorial.
Argument Comput., 2014

Introduction to structured argumentation.
Argument Comput., 2014

Revisiting Postulates for Inconsistency Measures.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Encoding Argument Graphs in Logic.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

Arguments Using Ontological and Causal Knowledge.
Proceedings of the Foundations of Information and Knowledge Systems, 2014

2013
Logical limits of abstract argumentation frameworks.
J. Appl. Non Class. Logics, 2013

Overriding subsuming rules.
Int. J. Approx. Reason., 2013

Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (1995)
CoRR, 2013

A Conditional Logic-Based Argumentation Framework.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Handling Incoming Beliefs.
Proceedings of the Knowledge Science, Engineering and Management, 2013

2012
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants.
Rev. d'Intelligence Artif., 2012

An Argumentation Framework for Reasoning about Bounded Resources.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Logic-based fusion of legal knowledge.
Proceedings of the 15th International Conference on Information Fusion, 2012

Preemption Operators.
Proceedings of the ECAI 2012, 2012

2011
A Logical Analysis of Rule Inconsistency.
Int. J. Semantic Comput., 2011

Enforcing Logically Weaker Knowledge in Classical Logic.
Proceedings of the Knowledge Science, Engineering and Management, 2011

Identifying the Core of Logic-Based Argumentation Systems.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010
A Formal Analysis of Logic-Based Argumentation Systems.
Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010

MUS-based generation of arguments and counter-arguments.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

Absurdity, Contradictions, and Logical Formalisms.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009
Encoding deductive argumentation in quantified Boolean formulae.
Artif. Intell., 2009

Bridging the Gap between Abstract Argumentation Systems and Logic.
Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

About Agents that Reason by Case (Preliminary Report).
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

A Default Logic Patch for Default Logic.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Argumentation Based on Classical Logic.
Proceedings of the Argumentation in Artificial Intelligence, 2009

2008
Bipolarity in bilattice logics.
Int. J. Intell. Syst., 2008

Ontology-based inference for causal explanation.
Integr. Comput. Aided Eng., 2008

Deriving explanations from causal information.
Proceedings of the ECAI 2008, 2008

Elements of Argumentation.
MIT Press, ISBN: 9780262250986, 2008

Elements of Argumentation.
MIT Press, ISBN: 978-0-262-02643-7, 2008

2007
Remedying inconsistent sets of premises.
Int. J. Approx. Reason., 2007

2006
Configurations for Inference Between Causal Statements.
Proceedings of the Knowledge Science, 2006

Knowledgebase Compilation for Efficient Logical Argumentation.
Proceedings of the Proceedings, 2006

Variable Forgetting in Preference Relations over Propositional Domains.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005
Paraconsistent Reasoning for the Semantic Web.
Proceedings of the International Semantic Web Conference, 2005

Representing Paraconsistent Reasoning via Quantified Propositional Logic.
Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

Configurations for Inference from Causal Statements: Preliminary Report.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

Practical First-Order Argumentation.
Proceedings of the Proceedings, 2005

2004
Checking the acceptability of a set of arguments.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Characterization of Semantics for Argument Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003
Optimality Theory as a Family of Cumulative Logics.
J. Log. Lang. Inf., 2003

Optimality Theory through Default Logic.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Modal (Logic) Paraconsistency.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

2002
Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty.
J. Appl. Non Class. Logics, 2002

Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
Proceedings of the Paraconsistent Computational Logic, 2002

2001
Fusion: General concepts and characteristics.
Int. J. Intell. Syst., 2001

Paraconsistent Reasoning as an Analytic Tool.
Log. J. IGPL, 2001

A logic-based theory of deductive arguments.
Artif. Intell., 2001

2000
What is a (non-constructive) non-monotone logical system?
Theor. Comput. Sci., 2000

Significant Inferences : Preliminary Report.
Proceedings of the KR 2000, 2000

Towards a Logic-Based Theory of Argumentation.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
Inferring Causal Explanations.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998
Signed Systems for Paraconsistent Reasoning.
J. Autom. Reason., 1998

1997
Circumscribing Inconsistency.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Propositional Quantification for Conditional Logic.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996
A Simple Signed System for Paraconsistent Reasoning.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Logical Handling of Inconsistent and Default Information.
Proceedings of the Uncertainty Management in Information Systems: From Needs to Solution., 1996

1995
Evidence Theory Based on General Consequence Relations.
Int. J. Found. Comput. Sci., 1995

An Approach to Context-Based Default Reasoning.
Fundam. Informaticae, 1995

Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994
A knowledge representation perspective: Logics for paraconsistent reasoning.
Int. J. Intell. Syst., 1994

Possible Worlds Semantics for Default Logics.
Fundam. Informaticae, 1994

Explanatory Diagnoses and Their Characterization by Circumscription.
Ann. Math. Artif. Intell., 1994

Possibility and Necessity Functions over Non-Classical Logics.
Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

Implication Connectives for Logics with Right Weakening.
Proceedings of the Advances in Intelligent Computing, 1994

1993
DRUMS: Defeasible Reasoning and Uncertainty Management Systems.
AI Commun., 1993

A Context-Based Framework for Default Logics.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992
About Deductive Generalization.
Proceedings of the Logics in AI, European Workshop, 1992

Explanatory Diagnoses and their Computation by Circumscription.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Non-Monotonic Logics: A Valuations-Based Approach.
Proceedings of the Artificial Intelligence V: Methodology, Systems, Applications, 1992

1991
Deductive Generalization in a Default Logic Setting.
Proceedings of the Nonmonotonic and Inductive Logic, 1991

Default Logics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990
Logics for Automated Reasoning in the Presence of Contradictions.
Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1989
The Importance of Open and Recursive Circumscription.
Artif. Intell., 1989

An introduction to default logic.
Symbolic computation : artificial intelligence, Springer, ISBN: 0387515666, 1989

An introduction to default logic.
Symbolic computation, Springer, ISBN: 0387515666, 1989

1988
A Formula Circumscriptively both Valid and Unprovable.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988

Supposition-Based Logic for Automated Nonmontonic Reasoning.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1985
Sur la détection des boucles infinies en programmation en logique.
Proceedings of the SPLT'85, 1985

1983
A Theorem-Prover for a Decidable Subset of Default Logic.
Proceedings of the National Conference on Artificial Intelligence, 1983


  Loading...