Ofer Arieli

Proceedings of the Computational Models of Argument, 2020

On Minimality and Consistency Tolerance in Logical Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2020

2019

Logical argumentation by dynamic proof systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Normative reasoning by sequent-based argumentation.

[BibT_eX]

[DOI]

J. Log. Comput., 2019

Preface.

[BibT_eX]

[DOI]

FLAP, 2019

A review of the relations between logical argumentation and reasoning with maximal consistency.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2019

Simple Contrapositive Assumption-Based Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

An Argumentative Characterization of Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2019

2018

Reasoning with maximal consistency by argumentative approaches.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2018

Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Prioritized Sequent-Based Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Four-Valued Paradefinite Logics.

[BibT_eX]

[DOI]

Stud Logica, 2017

Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Formal Argumentation, 2017

Argumentative Approaches to Reasoning with Consistent Subsets of Premises.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

2016

Foreword.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

On the acceptance of loops in argumentation frameworks.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

A graded approach to database repair by context-aware distance semantics.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2016

Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Argumentative Approaches to Reasoning with Maximal Consistency.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

2015

Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks.

[BibT_eX]

[DOI]

J. Appl. Log., 2015

Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.

[BibT_eX]

[DOI]

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

Sequent-based logical argumentation.

[BibT_eX]

[DOI]

Argument Comput., 2015

A dissimilarity-based framework for generating inconsistency-tolerant logics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2015

2014

Context-Aware Distance Semantics for Inconsistent Database Systems.

[BibT_eX]

[DOI]

Kostas Stefanidis

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

Sequent-Based Argumentation for Normative Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

Dynamic Derivations for Sequent-Based Logical Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2014

Preferential Reasoning Based On Abstract Argumentation Semantics.

[BibT_eX]

[DOI]

Tjitze Rienstra

Proceedings of the Computational Models of Argument, 2014

2013

A QBF-based formalization of abstract argumentation semantics.

[BibT_eX]

[DOI]

Martin W. A. Caminada

J. Appl. Log., 2013

Towards Constraints Handling by Conflict Tolerance in Abstract Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

A Sequent-Based Representation of Logical Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

Conflict-Tolerant Semantics for Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2012

A General QBF-based Formalization of abstract Argumentation Theory.

[BibT_eX]

[DOI]

Martin W. A. Caminada

Proceedings of the Computational Models of Argument, 2012

2011

Ideal Paraconsistent Logics.

[BibT_eX]

[DOI]

Stud Logica, 2011

Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.

[BibT_eX]

[DOI]

Stud Logica, 2011

Simplified forms of computerized reasoning with distance semantics.

[BibT_eX]

[DOI]

J. Appl. Log., 2011

A framework for reasoning under uncertainty based on non-deterministic distance semantics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2011

What Is an Ideal Logic for Reasoning with Inconsistency?.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

Towards a logical reconstruction of a theory for locally closed databases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2010

On Strong Maximality of Paraconsistent Finite-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Maximally Paraconsistent Three-Valued Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Similarity-Based Inconsistency-Tolerant Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Distance-based non-deterministic semantics for reasoning with uncertainty.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data.

[BibT_eX]

[DOI]

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

2008

Reasoning with prioritized information by iterative aggregation of distance functions.

[BibT_eX]

[DOI]

J. Appl. Log., 2008

Distance-based paraconsistent logics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2008

Reasoning with Uncertainty by Nmatrix-Metric Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2008

Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Some Simplified Forms of Reasoning with Distance-Based Entailments.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence , 2008

Distance-Based Non-Deterministic Semantics.

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence 2008, 2008

Reasoning with Prioritized Data by Aggregation of Distance Functions.

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence 2008, 2008

2007

Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2007

Uncertainty Modeling by Bilattice-Based Squares and Triangles.

[BibT_eX]

[DOI]

IEEE Trans. Fuzzy Syst., 2007

A Bilattice-Based Framework for Handling Graded Truth and Imprecision.

[BibT_eX]

[DOI]

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2007

Distance semantics for database repair.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Commonsense reasoning by distance semantics.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Approximate Query Answering in Locally Closed Databases.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Computational methods for database repair by signed formulae.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

Preference Modeling by Rectangular Bilattices.

[BibT_eX]

[DOI]

Chris Cornelis

Glad Deschrijver

Proceedings of the Modeling Decisions for Artificial Intelligence, 2006

Representation of Partial Knowledge and Query Answering in Locally Complete Databases.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2006

Distance-Based Repairs of Databases.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

2005

An ID-Logic Formalization of the Composition of Autonomous Databases.

[BibT_eX]

[DOI]

Bert Van Nuffelen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

On the Local Closed-World Assumption of Data-Sources.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Bilattice-Based Squares and Triangles.

[BibT_eX]

[DOI]

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

2004

Coherent Integration of Databases by Abductive Logic Programming.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2004

Database Repair by Signed Formulae.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2004

Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Data Integration Using ID-Logic.

[BibT_eX]

[DOI]

Bert Van Nuffelen

Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

2003

Reducing Preferential Paraconsistent Reasoning to Classical Entailment.

[BibT_eX]

[DOI]

J. Log. Comput., 2003

Reasoning with Different Levels of Uncertainty.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2003

Preferential Logics for Reasoning with Graded Uncertainty.

[BibT_eX]

[DOI]

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

2002

Paraconsistent Declarative Semantics for Extended Logic Programs.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2002

Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Paraconsistent Computational Logic, 2002

Paraconsistent Semantics for Extended Logic Programs.

[BibT_eX]

Proceedings of the International Conference on Artificial Intelligence, 2002

Modeling Paraconsistent Reasoning by Classical Logic.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2002

2001

Coherent Composition of Distributed Knowledge-Bases Through Abduction.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

2000

General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.

[BibT_eX]

[DOI]

Log. J. IGPL, 2000

An Algorithmic Approach to Recover Inconsistent Knowledge-Bases.

[BibT_eX]

[DOI]

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

1999

A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations.

[BibT_eX]

[DOI]

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

1998

The Value of the Four Values.

[BibT_eX]

[DOI]

Artif. Intell., 1998

The Logical Role of the Four-Valued Bilattice.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1996

Reasoning with Logical Bilattices.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1996

Automatic Diagnoses for Properly Stratified Knowledge-Bases.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

Four-Valued Diagnoses for Stratified Knowledge-Bases.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1994

Logical Bilattices and Inconsistent Data

[BibT_eX]

[DOI]