Philippe Besnard

Marie-Christine Lagasquie-Schiex

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, 2020

Argumentation and Inconsistency-Tolerant Reasoning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Florence Dupin de Saint-Cyr

Knowl. Inf. Syst., 2019

Assessing Arguments with Schemes and Fallacies.

[BibT_eX]

[DOI]

Pierre Bisquert

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Admissible Generalizations of Examples as Rules.

[BibT_eX]

[DOI]

Thomas Guyet

Véronique Masson

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2017

Basic Postulates for Inconsistency Measures.

[BibT_eX]

[DOI]

Trans. Large Scale Data Knowl. Centered Syst., 2017

Foundations for a logic of arguments.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

Subsumption and Incompatibility between Principles in Ranking-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Le système Sesame : Spécifier des sémantiques argumentatives.

[BibT_eX]

[DOI]

Dominique Longin

Proceedings of the 3ème Conférence Nationale sur les Applications Pratiques de l'Intelligence Artificielle, 2017

2016

Forgetting-Based Inconsistency Measure.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

SESAME - A System for Specifying Semantics in Abstract Argumentation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Badran Raddaoui

Rev. d'Intelligence Artif., 2015

Logical Representation and Analysis for RC-Arguments.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Representing and Reasoning About Arguments Mined from Texts and Dialogues.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jean-Marie Lagniez

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Equivalence in logic-based argumentation.

[BibT_eX]

[DOI]

Srdjan Vesic

J. Appl. Non Class. Logics, 2014

A Note on Directions for Cumulativity.

[BibT_eX]

[DOI]

FLAP, 2014

Constructing argument graphs with deductive arguments: a tutorial.

[BibT_eX]

[DOI]

Argument Comput., 2014

Introduction to structured argumentation.

[BibT_eX]

[DOI]

Alejandro Javier García

Sanjay Modgil

Henry Prakken

Guillermo Ricardo Simari

Francesca Toni

Argument Comput., 2014

Revisiting Postulates for Inconsistency Measures.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Encoding Argument Graphs in Logic.

[BibT_eX]

[DOI]

Andreas Herzig

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

Arguments Using Ontological and Causal Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2014

2013

Logical limits of abstract argumentation frameworks.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

Overriding subsuming rules.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2013

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

[BibT_eX]

[DOI]

Steve Hanks

CoRR, 2013

A Conditional Logic-Based Argumentation Framework.

[BibT_eX]

[DOI]

Badran Raddaoui

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Handling Incoming Beliefs.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2013

2012

Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2012

An Argumentation Framework for Reasoning about Bounded Resources.

[BibT_eX]

[DOI]

Badran Raddaoui

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Logic-based fusion of legal knowledge.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Information Fusion, 2012

Preemption Operators.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

2011

A Logical Analysis of Rule Inconsistency.

[BibT_eX]

[DOI]

Int. J. Semantic Comput., 2011

Enforcing Logically Weaker Knowledge in Classical Logic.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2011

Identifying the Core of Logic-Based Argumentation Systems.

[BibT_eX]

[DOI]

Srdjan Vesic

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

2010

A Formal Analysis of Logic-Based Argumentation Systems.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 4th International Conference, 2010

MUS-based generation of arguments and counter-arguments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

Absurdity, Contradictions, and Logical Formalisms.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009

Encoding deductive argumentation in quantified Boolean formulae.

[BibT_eX]

[DOI]

Stefan Woltran

Artif. Intell., 2009

Bridging the Gap between Abstract Argumentation Systems and Logic.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

About Agents that Reason by Case (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

A Default Logic Patch for Default Logic.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Argumentation Based on Classical Logic.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Artificial Intelligence, 2009

2008

Bipolarity in bilattice logics.

[BibT_eX]

[DOI]

Sébastien Konieczny

Pierre Marquis

Int. J. Intell. Syst., 2008

Ontology-based inference for causal explanation.

[BibT_eX]

[DOI]

Integr. Comput. Aided Eng., 2008

Deriving explanations from causal information.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Elements of Argumentation.

[BibT_eX]

[DOI]

MIT Press, ISBN: 9780262250986, 2008

Elements of Argumentation.

[BibT_eX]

[DOI]

MIT Press, ISBN: 978-0-262-02643-7, 2008

2007

Remedying inconsistent sets of premises.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2007

2006

Configurations for Inference Between Causal Statements.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2006

Knowledgebase Compilation for Efficient Logical Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Variable Forgetting in Preference Relations over Propositional Domains.

[BibT_eX]

Jérôme Lang

Pierre Marquis

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Paraconsistent Reasoning for the Semantic Web.

[BibT_eX]

Proceedings of the International Semantic Web Conference, 2005

Representing Paraconsistent Reasoning via Quantified Propositional Logic.

[BibT_eX]

[DOI]

Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

Configurations for Inference from Causal Statements: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

Practical First-Order Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Checking the acceptability of a set of arguments.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Characterization of Semantics for Argument Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Gisbert Fanselow

J. Log. Lang. Inf., 2003

Optimality Theory through Default Logic.

[BibT_eX]

[DOI]

Robert E. Mercer

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Modal (Logic) Paraconsistency.

[BibT_eX]

[DOI]

Paul Wong

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003

2002

Editorial - Symbolic and quantitative approaches to reasoning wth uncertainty.

[BibT_eX]

Salem Benferhat

J. Appl. Non Class. Logics, 2002

Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.

[BibT_eX]

[DOI]

Proceedings of the Paraconsistent Computational Logic, 2002

2001

Fusion: General concepts and characteristics.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2001

Paraconsistent Reasoning as an Analytic Tool.

[BibT_eX]

[DOI]

Paul Wong

Log. J. IGPL, 2001

A logic-based theory of deductive arguments.

[BibT_eX]

[DOI]

Artif. Intell., 2001

2000

What is a (non-constructive) non-monotone logical system?

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

Significant Inferences : Preliminary Report.

[BibT_eX]

Proceedings of the KR 2000, 2000

Towards a Logic-Based Theory of Argumentation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

1998

Signed Systems for Paraconsistent Reasoning.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998

1997

Circumscribing Inconsistency.

[BibT_eX]

[DOI]

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

Propositional Quantification for Conditional Logic.

[BibT_eX]

[DOI]

Jean-Marc Guinnebault

Emmanuel Mayer

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996

A Simple Signed System for Paraconsistent Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning.

[BibT_eX]

Yao-Hua Tan

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Logical Handling of Inconsistent and Default Information.

[BibT_eX]

Luis Fariñas del Cerro

Dov M. Gabbay

Proceedings of the Uncertainty Management in Information Systems: From Needs to Solution., 1996

1995

Evidence Theory Based on General Consequence Relations.

[BibT_eX]

[DOI]

Jürg Kohlas

Int. J. Found. Comput. Sci., 1995

An Approach to Context-Based Default Reasoning.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994

A knowledge representation perspective: Logics for paraconsistent reasoning.

[BibT_eX]

[DOI]

Els Laenens

Int. J. Intell. Syst., 1994

Possible Worlds Semantics for Default Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1994

Explanatory Diagnoses and Their Characterization by Circumscription.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1994

Possibility and Necessity Functions over Non-Classical Logics.

[BibT_eX]

[DOI]

Jérôme Lang

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

Implication Connectives for Logics with Right Weakening.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Computing, 1994

1993

DRUMS: Defeasible Reasoning and Uncertainty Management Systems.

[BibT_eX]

[DOI]

AI Commun., 1993

A Context-Based Framework for Default Logics.

[BibT_eX]

[DOI]

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

About Deductive Generalization.

[BibT_eX]

[DOI]

Proceedings of the Logics in AI, European Workshop, 1992

Explanatory Diagnoses and their Computation by Circumscription.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

Non-Monotonic Logics: A Valuations-Based Approach.

[BibT_eX]

Robert E. Mercer

Proceedings of the Artificial Intelligence V: Methodology, Systems, Applications, 1992

1991

Deductive Generalization in a Default Logic Setting.

[BibT_eX]

[DOI]

Proceedings of the Nonmonotonic and Inductive Logic, 1991

Default Logics.

[BibT_eX]

[DOI]

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

1990

Logics for Automated Reasoning in the Presence of Contradictions.

[BibT_eX]

Proceedings of the Artificial Intelligence IV: Methodology, Systems, Applications, 1990

1989

The Importance of Open and Recursive Circumscription.

[BibT_eX]

[DOI]

Robert E. Mercer

Artif. Intell., 1989

An introduction to default logic.

[BibT_eX]

[DOI]

Symbolic computation : artificial intelligence, Springer, ISBN: 0387515666, 1989

An introduction to default logic.

[BibT_eX]

Symbolic computation, Springer, ISBN: 0387515666, 1989

1988

A Formula Circumscriptively both Valid and Unprovable.

[BibT_eX]

Jean Houdebine

Raymond Rolland

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

Supposition-Based Logic for Automated Nonmontonic Reasoning.

[BibT_eX]

[DOI]

Pierre Siegel

Proceedings of the 9th International Conference on Automated Deduction, 1988

1985

Sur la détection des boucles infinies en programmation en logique.

[BibT_eX]

Proceedings of the SPLT'85, 1985

1983

A Theorem-Prover for a Decidable Subset of Default Logic.

[BibT_eX]

[DOI]