Logical Bilattices and Inconsistent Data - Ofer Arieli; Arnon Avron (LICS, 1994)

Four-Valued Diagnoses for Stratified Knowledge-Bases. - Ofer Arieli; Arnon Avron (CSL, 1996)

Automatic Diagnoses for Properly Stratified Knowledge-Bases. - Ofer Arieli; Arnon Avron (ICTAI, 1996)

Reasoning with Logical Bilattices. - Ofer Arieli; Arnon Avron (J. Log. Lang. Inf., 1996)

The Logical Role of the Four-Valued Bilattice. - Ofer Arieli; Arnon Avron (LICS, 1998)

The Value of the Four Values. - Ofer Arieli; Arnon Avron (Artif. Intell., 1998)

Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations. - Ofer Arieli; Arnon Avron (ESCQARU, 1999)

A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases. - Ofer Arieli; Arnon Avron (J. Autom. Reason., 1999)

An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. - Ofer Arieli (JELIA, 2000)

General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. - Ofer Arieli; Arnon Avron (Log. J. IGPL, 2000)

Coherent Composition of Distributed Knowledge-Bases Through Abduction. - Ofer Arieli; Bert Van Nuffelen; Marc Denecker; Maurice Bruynooghe (LPAR, 2001)

Modeling Paraconsistent Reasoning by Classical Logic. - Ofer Arieli; Marc Denecker (FoIKS, 2002)

Paraconsistent Semantics for Extended Logic Programs. - Ofer Arieli (IC-AI, 2002)

Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. - Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynooghe (Paraconsistent Computational Logic, 2002)

Paraconsistent Declarative Semantics for Extended Logic Programs. - Ofer Arieli (Ann. Math. Artif. Intell., 2002)

Preferential Logics for Reasoning with Graded Uncertainty. - Ofer Arieli (ECSQARU, 2003)

Reasoning with Different Levels of Uncertainty. - Ofer Arieli (J. Appl. Non Class. Logics, 2003)

Reducing Preferential Paraconsistent Reasoning to Classical Entailment. - Ofer Arieli; Marc Denecker (J. Log. Comput., 2003)

Data Integration Using ID-Logic. - Bert Van Nuffelen; Alvaro Cortés-Calabuig; Marc Denecker; Ofer Arieli; Maurice Bruynooghe (CAiSE, 2004)

Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae. - Ofer Arieli (ECAI, 2004)

Database Repair by Signed Formulae. - Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynooghe (FoIKS, 2004)

Coherent Integration of Databases by Abductive Logic Programming. - Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynooghe (J. Artif. Intell. Res., 2004)

Bilattice-Based Squares and Triangles. - Ofer Arieli; Chris Cornelis; Glad Deschrijver; Etienne E. Kerre (ECSQARU, 2005)

On the Local Closed-World Assumption of Data-Sources. - Alvaro Cortés-Calabuig; Marc Denecker; Ofer Arieli; Bert Van Nuffelen; Maurice Bruynooghe (LPNMR, 2005)

An ID-Logic Formalization of the Composition of Autonomous Databases. - Bert Van Nuffelen; Ofer Arieli; Alvaro Cortés-Calabuig; Maurice Bruynooghe (LPNMR, 2005)

Distance-Based Repairs of Databases. - Ofer Arieli; Marc Denecker; Maurice Bruynooghe (JELIA, 2006)

Representation of Partial Knowledge and Query Answering in Locally Complete Databases. - Alvaro Cortés-Calabuig; Marc Denecker; Ofer Arieli; Maurice Bruynooghe (LPAR, 2006)

Preference Modeling by Rectangular Bilattices. - Ofer Arieli; Chris Cornelis; Glad Deschrijver (MDAI, 2006)

Computational methods for database repair by signed formulae. - Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynooghe (Ann. Math. Artif. Intell., 2006)

Approximate Query Answering in Locally Closed Databases. - Alvaro Cortés-Calabuig; Marc Denecker; Ofer Arieli; Maurice Bruynooghe (AAAI, 2007)

Commonsense reasoning by distance semantics. - Ofer Arieli (TARK, 2007)

Distance semantics for database repair. - Ofer Arieli; Marc Denecker; Maurice Bruynooghe (Ann. Math. Artif. Intell., 2007)

A Bilattice-Based Framework for Handling Graded Truth and Imprecision. - Glad Deschrijver; Ofer Arieli; Chris Cornelis; Etienne E. Kerre (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2007)

Uncertainty Modeling by Bilattice-Based Squares and Triangles. - Chris Cornelis; Ofer Arieli; Glad Deschrijver; Etienne E. Kerre (IEEE Trans. Fuzzy Syst., 2007)

Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. - Ofer Arieli (ACM Trans. Comput. Log., 2007)

Reasoning with Prioritized Data by Aggregation of Distance Functions. - Ofer Arieli (AGI, 2008)

Distance-Based Non-Deterministic Semantics. - Ofer Arieli; Anna Zamansky (AGI, 2008)

Some Simplified Forms of Reasoning with Distance-Based Entailments. - Ofer Arieli; Anna Zamansky (Canadian AI, 2008)

Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. - Alvaro Cortés-Calabuig; Marc Denecker; Ofer Arieli; Maurice Bruynooghe (KR, 2008)

Reasoning with Uncertainty by Nmatrix-Metric Semantics. - Ofer Arieli; Anna Zamansky (WoLLIC, 2008)

Distance-based paraconsistent logics. - Ofer Arieli (Int. J. Approx. Reason., 2008)

Reasoning with prioritized information by iterative aggregation of distance functions. - Ofer Arieli (J. Appl. Log., 2008)

Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. - Ofer Arieli; Anna Zamansky (ECSQARU, 2009)

Distance-based non-deterministic semantics for reasoning with uncertainty. - Ofer Arieli; Anna Zamansky (Log. J. IGPL, 2009)

Similarity-Based Inconsistency-Tolerant Logics. - Ofer Arieli; Anna Zamansky (JELIA, 2010)

On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. - Ofer Arieli (KR, 2010)

Maximally Paraconsistent Three-Valued Logics. - Ofer Arieli; Arnon Avron; Anna Zamansky (KR, 2010)

On Strong Maximality of Paraconsistent Finite-Valued Logics. - Arnon Avron; Ofer Arieli; Anna Zamansky (LICS, 2010)

Towards a logical reconstruction of a theory for locally closed databases. - Marc Denecker; Alvaro Cortés-Calabuig; Maurice Bruynooghe; Ofer Arieli (ACM Trans. Database Syst., 2010)

What Is an Ideal Logic for Reasoning with Inconsistency?. - Ofer Arieli; Arnon Avron; Anna Zamansky (IJCAI, 2011)

A framework for reasoning under uncertainty based on non-deterministic distance semantics. - Ofer Arieli; Anna Zamansky (Int. J. Approx. Reason., 2011)

Simplified forms of computerized reasoning with distance semantics. - Ofer Arieli; Anna Zamansky (J. Appl. Log., 2011)

Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. - Ofer Arieli; Arnon Avron; Anna Zamansky (Stud Logica, 2011)

Ideal Paraconsistent Logics. - Ofer Arieli; Arnon Avron; Anna Zamansky (Stud Logica, 2011)

A General QBF-based Formalization of abstract Argumentation Theory. - Ofer Arieli; Martin W. A. Caminada (COMMA, 2012)

Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities. - Ofer Arieli; Anna Zamansky (FoIKS, 2012)

Conflict-Tolerant Semantics for Argumentation Frameworks. - Ofer Arieli (JELIA, 2012)

A Sequent-Based Representation of Logical Argumentation. - Ofer Arieli (CLIMA, 2013)

Towards Constraints Handling by Conflict Tolerance in Abstract Argumentation Frameworks. - Ofer Arieli (FLAIRS, 2013)

A QBF-based formalization of abstract argumentation semantics. - Ofer Arieli; Martin W. A. Caminada (J. Appl. Log., 2013)

Preferential Reasoning Based On Abstract Argumentation Semantics. - Ofer Arieli; Tjitze Rienstra (COMMA, 2014)

Dynamic Derivations for Sequent-Based Logical Argumentation. - Ofer Arieli; Christian Straßer (COMMA, 2014)

Sequent-Based Argumentation for Normative Reasoning. - Christian Straßer; Ofer Arieli (DEON, 2014)

Context-Aware Distance Semantics for Inconsistent Database Systems. - Anna Zamansky; Ofer Arieli; Kostas Stefanidis (IPMU (2), 2014)

A dissimilarity-based framework for generating inconsistency-tolerant logics. - Ofer Arieli; Anna Zamansky (Ann. Math. Artif. Intell., 2015)

Sequent-based logical argumentation. - Ofer Arieli; Christian Straßer (Argument Comput., 2015)

Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. - Ofer Arieli; Christian Straßer (LSFA, 2015)

Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. - Ofer Arieli (J. Appl. Log., 2015)

Argumentative Approaches to Reasoning with Maximal Consistency. - Ofer Arieli; Christian Straßer (KR, 2016)

Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency. - Ofer Arieli; Arnon Avron (FSCD, 2016)

A graded approach to database repair by context-aware distance semantics. - Ofer Arieli; Anna Zamansky (Fuzzy Sets Syst., 2016)

On the acceptance of loops in argumentation frameworks. - Ofer Arieli (J. Log. Comput., 2016)

Foreword. - Ofer Arieli; Beata Konikowska; Alexander Rabinovich; Anna Zamansky (J. Log. Comput., 2016)

Argumentative Approaches to Reasoning with Consistent Subsets of Premises. - Ofer Arieli; Annemarie Borg; Christian Straßer (IEA/AIE (1), 2017)

Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM. - Annemarie Borg; Ofer Arieli; Christian Straßer (TAFA, 2017)

Four-Valued Paradefinite Logics. - Ofer Arieli; Arnon Avron (Stud Logica, 2017)

Prioritized Sequent-Based Argumentation. - Ofer Arieli; Annemarie Borg; Christian Straßer (AAMAS, 2018)

Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5. - Annemarie Borg; Ofer Arieli (AAMAS, 2018)

On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks. - Jesse Heyninck; Ofer Arieli (COMMA, 2018)

Reasoning with maximal consistency by argumentative approaches. - Ofer Arieli; Annemarie Borg; Christian Straßer (J. Log. Comput., 2018)

An Argumentative Characterization of Disjunctive Logic Programming. - Jesse Heyninck; Ofer Arieli (EPIA (2), 2019)

Simple Contrapositive Assumption-Based Frameworks. - Jesse Heyninck; Ofer Arieli (LPNMR, 2019)

A review of the relations between logical argumentation and reasoning with maximal consistency. - Ofer Arieli; Annemarie Borg; Jesse Heyninck (Ann. Math. Artif. Intell., 2019)

Preface. - Ofer Arieli; Anna Zamansky (FLAP, 2019)

Normative reasoning by sequent-based argumentation. - Christian Straßer; Ofer Arieli (J. Log. Comput., 2019)

Logical argumentation by dynamic proof systems. - Ofer Arieli; Christian Straßer (Theor. Comput. Sci., 2019)

On Minimality and Consistency Tolerance in Logical Argumentation Frameworks. - Ofer Arieli; Christian Straßer (COMMA, 2020)

Argumentative Reflections of Approximation Fixpoint Theory. - Jesse Heyninck; Ofer Arieli (COMMA, 2020)

Prioritized Simple Contrapositive Assumption-Based Frameworks. - Ofer Arieli; Jesse Heyninck (ECAI, 2020)

Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach. - Ofer Arieli; Annemarie Borg; Christian Straßer (FLAIRS, 2020)

Simple contrapositive assumption-based argumentation frameworks. - Jesse Heyninck; Ofer Arieli (Int. J. Approx. Reason., 2020)

Characterizations and Classifications of Argumentative Entailments. - Ofer Arieli; AnneMarie Borg; Christian Straßer (KR, 2021)

Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming. - Jesse Heyninck; Ofer Arieli (KR, 2021)

Logic-Based Approaches to Formal Argumentation. - Ofer Arieli; AnneMarie Borg; Jesse Heyninck; Christian Straßer (FLAP, 2021)

Simple contrapositive assumption-based argumentation part II: Reasoning with preferences. - Ofer Arieli; Jesse Heyninck (Int. J. Approx. Reason., 2021)

A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. - Annemarie Borg; Christian Straßer; Ofer Arieli (Stud Logica, 2021)

Explainable Logic-Based Argumentation. - Ofer Arieli; AnneMarie Borg; Matthis Hesse; Christian Straßer (COMMA, 2022)

Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. - Ofer Arieli; Kees van Berkel 002; Christian Straßer (IJCAI, 2022)

Abductive Reasoning with Sequent-Based Argumentation. - Ofer Arieli; AnneMarie Borg; Matthis Hesse; Christian Straßer (NMR, 2022)

Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences. - Ofer Arieli; Jesse Heyninck (KR, 2023)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs. - Jesse Heyninck; Ofer Arieli (CoRR, 2023)

A postulate-driven study of logical argumentation. - Ofer Arieli; AnneMarie Borg; Christian Straßer (Artif. Intell., 2023)

Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. - Ofer Arieli; Kees van Berkel 002; Christian Straßer (AAAI, 2024)

Semantics for Non-Flat Assumption-Based Argumentation, Revisited. - Jesse Heyninck; Ofer Arieli (IJCAI, 2024)

Deontic Reasoning Based on Inconsistency Measures. - Ofer Arieli; Kees van Berkel 002; Badran Raddaoui; Christian Straßer (KR, 2024)

Collective Attacks in Assumption-Based Argumentation. - Ofer Arieli; Jesse Heyninck (SAC, 2024)

Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming. - Jesse Heyninck; Ofer Arieli; Bart Bogaerts 001 (Artif. Intell., 2024)

Simple contrapositive assumption-based argumentation frameworks with preferences: Partial orders and collective attacks. - Ofer Arieli; Jesse Heyninck (Int. J. Approx. Reason., 2025)