| 2026 | KR | Beyond Consistency: A Closer Look at Free Formulas. | Ofer Arieli, Badran Raddaoui, Christian Straer |
| 2025 | KR | Compactness and Preservation in Logical Argumentation Frameworks. | Ofer Arieli, Christian Straer |
| 2024 | AAAI | Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. | Ofer Arieli, Kees van Berkel, Christian Straer |
| 2024 | IJCAI | Semantics for Non-Flat Assumption-Based Argumentation, Revisited. | Jesse Heyninck, Ofer Arieli |
| 2024 | KR | Deontic Reasoning Based on Inconsistency Measures. | Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straer |
| 2024 | SAC | Collective Attacks in Assumption-Based Argumentation. | Ofer Arieli, Jesse Heyninck |
| 2023 | KR | Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences. | Ofer Arieli, Jesse Heyninck |
| 2022 | COMMA | Explainable Logic-Based Argumentation. | Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straer |
| 2022 | IJCAI | Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. | Ofer Arieli, Kees van Berkel, Christian Straer |
| 2021 | KR | Characterizations and Classifications of Argumentative Entailments. | Ofer Arieli, AnneMarie Borg, Christian Straer |
| 2021 | KR | Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming. | Jesse Heyninck, Ofer Arieli |
| 2020 | COMMA | On Minimality and Consistency Tolerance in Logical Argumentation Frameworks. | Ofer Arieli, Christian Straer |
| 2020 | COMMA | Argumentative Reflections of Approximation Fixpoint Theory. | Jesse Heyninck, Ofer Arieli |
| 2020 | ECAI | Prioritized Simple Contrapositive Assumption-Based Frameworks. | Ofer Arieli, Jesse Heyninck |
| 2020 | FlAIRS | Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach. | Ofer Arieli, Annemarie Borg, Christian Straer |
| 2019 | EPIA | An Argumentative Characterization of Disjunctive Logic Programming. | Jesse Heyninck, Ofer Arieli |
| 2019 | LPNMR | Simple Contrapositive Assumption-Based Frameworks. | Jesse Heyninck, Ofer Arieli |
| 2018 | COMMA | On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks. | Jesse Heyninck, Ofer Arieli |
| 2016 | KR | Argumentative Approaches to Reasoning with Maximal Consistency. | Ofer Arieli, Christian Straer |
| 2014 | COMMA | Preferential Reasoning Based On Abstract Argumentation Semantics. | Ofer Arieli, Tjitze Rienstra |
| 2014 | COMMA | Dynamic Derivations for Sequent-Based Logical Argumentation. | Ofer Arieli, Christian Straer |
| 2014 | IPMU | Context-Aware Distance Semantics for Inconsistent Database Systems. | Anna Zamansky, Ofer Arieli, Kostas Stefanidis |
| 2013 | FlAIRS | Towards Constraints Handling by Conflict Tolerance in Abstract Argumentation Frameworks. | Ofer Arieli |
| 2012 | COMMA | A General QBF-based Formalization of abstract Argumentation Theory. | Ofer Arieli, Martin W. A. Caminada |
| 2012 | JELIA | Conflict-Tolerant Semantics for Argumentation Frameworks. | Ofer Arieli |
| 2011 | IJCAI | What Is an Ideal Logic for Reasoning with Inconsistency?. | Ofer Arieli, Arnon Avron, Anna Zamansky |
| 2010 | JELIA | Similarity-Based Inconsistency-Tolerant Logics. | Ofer Arieli, Anna Zamansky |
| 2010 | KR | On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. | Ofer Arieli |
| 2010 | KR | Maximally Paraconsistent Three-Valued Logics. | Ofer Arieli, Arnon Avron, Anna Zamansky |
| 2010 | LICS | On Strong Maximality of Paraconsistent Finite-Valued Logics. | Arnon Avron, Ofer Arieli, Anna Zamansky |
| 2009 | ECSQARU | Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. | Ofer Arieli, Anna Zamansky |
| 2008 | AI | Some Simplified Forms of Reasoning with Distance-Based Entailments. | Ofer Arieli, Anna Zamansky |
| 2008 | KR | Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. | Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2008 | WoLLIC | Reasoning with Uncertainty by Nmatrix-Metric Semantics. | Ofer Arieli, Anna Zamansky |
| 2007 | AAAI | Approximate Query Answering in Locally Closed Databases. | Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2007 | TARK | Commonsense reasoning by distance semantics. | Ofer Arieli |
| 2006 | JELIA | Distance-Based Repairs of Databases. | Ofer Arieli, Marc Denecker, Maurice Bruynooghe |
| 2006 | LPAR | Representation of Partial Knowledge and Query Answering in Locally Complete Databases. | Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2006 | MDAI | Preference Modeling by Rectangular Bilattices. | Ofer Arieli, Chris Cornelis, Glad Deschrijver |
| 2005 | ECSQARU | Bilattice-Based Squares and Triangles. | Ofer Arieli, Chris Cornelis, Glad Deschrijver, Etienne E. Kerre |
| 2005 | LPNMR | On the Local Closed-World Assumption of Data-Sources. | Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe |
| 2005 | LPNMR | An ID-Logic Formalization of the Composition of Autonomous Databases. | Bert Van Nuffelen, Ofer Arieli, Alvaro Corts-Calabuig, Maurice Bruynooghe |
| 2004 | CaiSE | Data Integration Using ID-Logic. | Bert Van Nuffelen, Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe |
| 2004 | ECAI | Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae. | Ofer Arieli |
| 2003 | ECSQARU | Preferential Logics for Reasoning with Graded Uncertainty. | Ofer Arieli |
| 2001 | LPAR | Coherent Composition of Distributed Knowledge-Bases Through Abduction. | Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe |
| 2000 | JELIA | An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. | Ofer Arieli |
| 1999 | ECSQARU | Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations. | Ofer Arieli, Arnon Avron |
| 1998 | LICS | The Logical Role of the Four-Valued Bilattice. | Ofer Arieli, Arnon Avron |
| 1996 | CSL | Four-Valued Diagnoses for Stratified Knowledge-Bases. | Ofer Arieli, Arnon Avron |
| 1996 | ICTAI | Automatic Diagnoses for Properly Stratified Knowledge-Bases. | Ofer Arieli, Arnon Avron |
| 1994 | LICS | Logical Bilattices and Inconsistent Data | Ofer Arieli, Arnon Avron |