| Publication | Date of Publication | Type |
|---|
| Knowledge representation: modalities, conditionals, and nonmonotonic reasoning | 2024-09-11 | Paper |
| Argumentation and inconsistency-tolerant reasoning | 2024-09-11 | Paper |
Generic logical encoding for argumentation
Journal Of Logic And Computation | 2023-05-16 | Paper |
Paraconsistent inference relations induced from inconsistency measures
International Journal of Approximate Reasoning | 2022-12-08 | Paper |
| Inducing inference relations from inconsistency measures | 2022-06-15 | Paper |
Relative inconsistency measures
Artificial Intelligence | 2020-02-26 | Paper |
| Assessing arguments with schemes and fallacies | 2019-10-10 | Paper |
A simple signed system for paraconsistent reasoning
Logics in Artificial Intelligence | 2019-10-08 | Paper |
Encoding argument graphs in logic
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2019-08-20 | Paper |
| Inconsistency measuring over multisets of formulas | 2019-08-01 | Paper |
Foundations for a logic of arguments
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Equivalence in logic-based argumentation
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Logical limits of abstract argumentation frameworks
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Forgetting-Based Inconsistency Measure
Lecture Notes in Computer Science | 2017-06-20 | Paper |
| Preemption operators | 2015-12-11 | Paper |
Representing and reasoning about arguments mined from texts and dialogues
Lecture Notes in Computer Science | 2015-11-10 | Paper |
Revisiting postulates for inconsistency measures
Logics in Artificial Intelligence | 2015-01-14 | Paper |
| A glance at preemption operators | 2014-05-07 | Paper |
Arguments using ontological and causal knowledge
Lecture Notes in Computer Science | 2014-03-31 | Paper |
Overriding subsuming rules
International Journal of Approximate Reasoning | 2013-06-04 | Paper |
A logical analysis of rule inconsistency
International Journal of Semantic Computing | 2012-03-19 | Paper |
Overriding subsuming rules
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Modal (logic) paraconsistency
Lecture Notes in Computer Science | 2010-04-06 | Paper |
Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories
Lecture Notes in Computer Science | 2010-04-06 | Paper |
Optimality theory through default logic
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Encoding deductive argumentation in quantified Boolean formulae
Artificial Intelligence | 2009-12-21 | Paper |
A Default Logic Patch for Default Logic
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Bipolarity in bilattice logics
International Journal of Intelligent Systems | 2008-11-07 | Paper |
Remedying inconsistent sets of premises
International Journal of Approximate Reasoning | 2007-07-19 | Paper |
AI*IA 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Inconsistency Tolerance
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 1931670 (Why is no real title available?) | 2003-06-20 | Paper |
scientific article; zbMATH DE number 1931670 (Why is no real title available?)
(available as arXiv preprint) | 2003-06-20 | Paper |
Optimality theory as a family of cumulative logics
Journal of Logic, Language and Information | 2003-04-27 | Paper |
| scientific article; zbMATH DE number 1754692 (Why is no real title available?) | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1735920 (Why is no real title available?) | 2002-04-29 | Paper |
Fusion: General concepts and characteristics
International Journal of Intelligent Systems | 2002-01-08 | Paper |
Paraconsistent reasoning as an analytic tool
Logic Journal of the IGPL | 2001-09-26 | Paper |
A logic-based theory of deductive arguments
Artificial Intelligence | 2001-08-20 | Paper |
What is a (non-constructive) non-monotone logical system?
Theoretical Computer Science | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 1269573 (Why is no real title available?) | 1999-09-14 | Paper |
| scientific article; zbMATH DE number 1256281 (Why is no real title available?) | 1999-05-31 | Paper |
| scientific article; zbMATH DE number 1292295 (Why is no real title available?) | 1999-05-27 | Paper |
Signed systems for paraconsistent reasoning
Journal of Automated Reasoning | 1998-08-03 | Paper |
| scientific article; zbMATH DE number 970611 (Why is no real title available?) | 1997-03-16 | Paper |
Explanatory diagnoses and their characterization by circumscription
Annals of Mathematics and Artificial Intelligence | 1996-12-03 | Paper |
EVIDENCE THEORY BASED ON GENERAL CONSEQUENCE RELATIONS
International Journal of Foundations of Computer Science | 1996-01-28 | Paper |
| scientific article; zbMATH DE number 770147 (Why is no real title available?) | 1995-11-20 | Paper |
| scientific article; zbMATH DE number 611093 (Why is no real title available?) | 1994-07-26 | Paper |
A knowledge representation perspective: Logics for paraconsistent reasoning
International Journal of Intelligent Systems | 1994-07-07 | Paper |
| scientific article; zbMATH DE number 408774 (Why is no real title available?) | 1993-09-06 | Paper |
| scientific article; zbMATH DE number 194964 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 4128428 (Why is no real title available?) | 1989-01-01 | Paper |
The importance of open and recursive circumscription
Artificial Intelligence | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4089520 (Why is no real title available?) | 1988-01-01 | Paper |
