Ofer Arieli

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 44

Top Venues

COMMA

J. Log. Comput.

AAMAS

Publications

Jesse Heyninck, Ofer Arieli, Bart Bogaerts
Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming. Artif. Intell. 331 (2024)
Ofer Arieli, Kees van Berkel, Christian Straßer
Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. AAAI (2024)
Ofer Arieli, Jesse Heyninck
Collective Attacks in Assumption-Based Argumentation. SAC (2024)
Jesse Heyninck, Ofer Arieli
Argumentative Characterizations of (Extended) Disjunctive Logic Programs. CoRR (2023)
Ofer Arieli, AnneMarie Borg, Christian Straßer
A postulate-driven study of logical argumentation. Artif. Intell. 322 (2023)
Ofer Arieli, Jesse Heyninck
Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences. KR (2023)
Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer
Abductive Reasoning with Sequent-Based Argumentation. NMR (2022)
Ofer Arieli, Kees van Berkel, Christian Straßer
Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. IJCAI (2022)
Jesse Heyninck, Ofer Arieli, Bart Bogaerts
Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming. CoRR (2022)
Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer
Explainable Logic-Based Argumentation. COMMA (2022)
Jesse Heyninck, Ofer Arieli
Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming. KR (2021)
Ofer Arieli, Jesse Heyninck
Simple contrapositive assumption-based argumentation part II: Reasoning with preferences. Int. J. Approx. Reason. 139 (2021)
Ofer Arieli, AnneMarie Borg, Jesse Heyninck, Christian Straßer
Logic-Based Approaches to Formal Argumentation. FLAP 8 (6) (2021)
Ofer Arieli, AnneMarie Borg, Christian Straßer
Characterizations and Classifications of Argumentative Entailments. KR (2021)
Annemarie Borg, Christian Straßer, Ofer Arieli
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. Stud Logica 109 (1) (2021)
Jesse Heyninck, Ofer Arieli
Argumentative Reflections of Approximation Fixpoint Theory. COMMA (2020)
Ofer Arieli, Jesse Heyninck
Prioritized Simple Contrapositive Assumption-Based Frameworks. ECAI (2020)
Ofer Arieli, Annemarie Borg, Christian Straßer
Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach. FLAIRS Conference (2020)
Jesse Heyninck, Ofer Arieli
Simple contrapositive assumption-based argumentation frameworks. Int. J. Approx. Reason. 121 (2020)
Ofer Arieli, Christian Straßer
On Minimality and Consistency Tolerance in Logical Argumentation Frameworks. COMMA (2020)
Jesse Heyninck, Ofer Arieli
An Argumentative Characterization of Disjunctive Logic Programming. EPIA (2) (2019)
Jesse Heyninck, Ofer Arieli
Simple Contrapositive Assumption-Based Frameworks. AAMAS (2019)
Ofer Arieli, Annemarie Borg, Jesse Heyninck
A review of the relations between logical argumentation and reasoning with maximal consistency. Ann. Math. Artif. Intell. 87 (3) (2019)
Christian Straßer, Ofer Arieli
Normative reasoning by sequent-based argumentation. J. Log. Comput. 29 (3) (2019)
Jesse Heyninck, Ofer Arieli
Simple Contrapositive Assumption-Based Frameworks. LPNMR (2019)
Ofer Arieli, Christian Straßer
Logical argumentation by dynamic proof systems. Theor. Comput. Sci. 781 (2019)
Ofer Arieli, Anna Zamansky
Preface. FLAP 6 (2) (2019)
Jesse Heyninck, Ofer Arieli
On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks. COMMA (2018)
Ofer Arieli, Annemarie Borg, Christian Straßer
Prioritized Sequent-Based Argumentation. AAMAS (2018)
Ofer Arieli, Annemarie Borg, Christian Straßer
Reasoning with maximal consistency by argumentative approaches. J. Log. Comput. 28 (7) (2018)
Annemarie Borg, Ofer Arieli
Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5. AAMAS (2018)
Ofer Arieli, Arnon Avron
Four-Valued Paradefinite Logics. Stud Logica 105 (6) (2017)
Ofer Arieli, Annemarie Borg, Christian Straßer
Argumentative Approaches to Reasoning with Consistent Subsets of Premises. IEA/AIE (1) (2017)
Annemarie Borg, Ofer Arieli, Christian Straßer
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM. TAFA (2017)
Ofer Arieli
On the acceptance of loops in argumentation frameworks. J. Log. Comput. 26 (4) (2016)
Ofer Arieli, Christian Straßer
Argumentative Approaches to Reasoning with Maximal Consistency. KR (2016)
Ofer Arieli, Anna Zamansky
Preface. Log. J. IGPL 24 (3) (2016)
Ofer Arieli, Anna Zamansky
A graded approach to database repair by context-aware distance semantics. Fuzzy Sets Syst. 298 (2016)
Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky
Foreword. J. Log. Comput. 26 (1) (2016)
Ofer Arieli, Arnon Avron
Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency. FSCD (2016)
Ofer Arieli, Christian Straßer
Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. LSFA (2015)
Ofer Arieli, Christian Straßer
Sequent-based logical argumentation. Argument Comput. 6 (1) (2015)
Ofer Arieli, Anna Zamansky
A dissimilarity-based framework for generating inconsistency-tolerant logics. Ann. Math. Artif. Intell. 73 (1-2) (2015)
Ofer Arieli
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. J. Appl. Log. 13 (4) (2015)
Anna Zamansky, Ofer Arieli, Kostas Stefanidis
Context-Aware Distance Semantics for Inconsistent Database Systems. IPMU (2) (2014)
Christian Straßer, Ofer Arieli
Sequent-Based Argumentation for Normative Reasoning. DEON (2014)
Ofer Arieli, Christian Straßer
Dynamic Derivations for Sequent-Based Logical Argumentation. COMMA (2014)
Ofer Arieli, Tjitze Rienstra
Preferential Reasoning Based On Abstract Argumentation Semantics. COMMA (2014)
Ofer Arieli, Martin W. A. Caminada
A QBF-based formalization of abstract argumentation semantics. J. Appl. Log. 11 (2) (2013)
Ofer Arieli
A Sequent-Based Representation of Logical Argumentation. CLIMA (2013)
Ofer Arieli
Towards Constraints Handling by Conflict Tolerance in Abstract Argumentation Frameworks. FLAIRS Conference (2013)
Ofer Arieli, Anna Zamansky
Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities. FoIKS (2012)
Ofer Arieli, Martin W. A. Caminada
A General QBF-based Formalization of abstract Argumentation Theory. COMMA (2012)
Ofer Arieli
Conflict-Tolerant Semantics for Argumentation Frameworks. JELIA (2012)
Ofer Arieli, Anna Zamansky
A framework for reasoning under uncertainty based on non-deterministic distance semantics. Int. J. Approx. Reason. 52 (2) (2011)
Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen
Coherent Integration of Databases by Abductive Logic Programming CoRR (2011)
Ofer Arieli, Arnon Avron, Anna Zamansky
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. Stud Logica 97 (1) (2011)
Ofer Arieli, Anna Zamansky
Simplified forms of computerized reasoning with distance semantics. J. Appl. Log. 9 (1) (2011)
Ofer Arieli, Arnon Avron, Anna Zamansky
What Is an Ideal Logic for Reasoning with Inconsistency?. IJCAI (2011)
Ofer Arieli, Arnon Avron, Anna Zamansky
Ideal Paraconsistent Logics. Stud Logica 99 (1-3) (2011)
Ofer Arieli
On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. KR (2010)
Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe, Ofer Arieli
Towards a logical reconstruction of a theory for locally closed databases. ACM Trans. Database Syst. 35 (3) (2010)
Arnon Avron, Ofer Arieli, Anna Zamansky
On Strong Maximality of Paraconsistent Finite-Valued Logics. LICS (2010)
Ofer Arieli, Anna Zamansky
Similarity-Based Inconsistency-Tolerant Logics. JELIA (2010)
Ofer Arieli, Arnon Avron, Anna Zamansky
Maximally Paraconsistent Three-Valued Logics. KR (2010)
Ofer Arieli, Anna Zamansky
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. ECSQARU (2009)
Ofer Arieli, Anna Zamansky
Distance-based non-deterministic semantics for reasoning with uncertainty. Log. J. IGPL 17 (4) (2009)
Ofer Arieli, Anna Zamansky
Reasoning with Uncertainty by Nmatrix-Metric Semantics. WoLLIC (2008)
Ofer Arieli, Anna Zamansky
Distance-Based Non-Deterministic Semantics. AGI (2008)
Ofer Arieli
Reasoning with Prioritized Data by Aggregation of Distance Functions. AGI (2008)
Ofer Arieli
Reasoning with prioritized information by iterative aggregation of distance functions. J. Appl. Log. 6 (4) (2008)
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. KR (2008)
Ofer Arieli, Anna Zamansky
Some Simplified Forms of Reasoning with Distance-Based Entailments. Canadian Conference on AI (2008)
Ofer Arieli
Distance-based paraconsistent logics. Int. J. Approx. Reason. 48 (3) (2008)
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
Distance semantics for database repair. Ann. Math. Artif. Intell. 50 (3-4) (2007)
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
Approximate Query Answering in Locally Closed Databases. AAAI (2007)
Ofer Arieli
Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. ACM Trans. Comput. Log. 8 (3) (2007)
Chris Cornelis, Ofer Arieli, Glad Deschrijver, Etienne E. Kerre
Uncertainty Modeling by Bilattice-Based Squares and Triangles. IEEE Trans. Fuzzy Syst. 15 (2) (2007)
Ofer Arieli
Commonsense reasoning by distance semantics. TARK (2007)
Glad Deschrijver, Ofer Arieli, Chris Cornelis, Etienne E. Kerre
A Bilattice-Based Framework for Handling Graded Truth and Imprecision. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 15 (1) (2007)
Ofer Arieli, Marc Denecker, Maurice Bruynooghe
Distance-Based Repairs of Databases. JELIA (2006)
Ofer Arieli, Chris Cornelis, Glad Deschrijver
Preference Modeling by Rectangular Bilattices. MDAI (2006)
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
Representation of Partial Knowledge and Query Answering in Locally Complete Databases. LPAR (2006)
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
Computational methods for database repair by signed formulae. Ann. Math. Artif. Intell. 46 (1-2) (2006)
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
On the Local Closed-World Assumption of Data-Sources. BNAIC (2005)
Ofer Arieli, Chris Cornelis, Glad Deschrijver, Etienne E. Kerre
Bilattice-Based Squares and Triangles. ECSQARU (2005)
Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe
An ID-Logic Formalization of the Composition of Autonomous Databases. LPNMR (2005)
Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
On the Local Closed-World Assumption of Data-Sources. LPNMR (2005)
Bert Van Nuffelen, Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
Data Integration Using ID-Logic. CAiSE (2004)
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
Coherent Integration of Databases by Abductive Logic Programming. J. Artif. Intell. Res. 21 (2004)
Ofer Arieli
Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae. ECAI (2004)
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
Database Repair by Signed Formulae. FoIKS (2004)
Ofer Arieli, Marc Denecker
Reducing Preferential Paraconsistent Reasoning to Classical Entailment. J. Log. Comput. 13 (4) (2003)
Ofer Arieli
Reasoning with Different Levels of Uncertainty. J. Appl. Non Class. Logics 13 (3-4) (2003)
Ofer Arieli
Preferential Logics for Reasoning with Graded Uncertainty. ECSQARU (2003)
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. Paraconsistent Computational Logic (2002)
Ofer Arieli
Paraconsistent Declarative Semantics for Extended Logic Programs. Ann. Math. Artif. Intell. 36 (4) (2002)
Ofer Arieli, Marc Denecker
Modeling Paraconsistent Reasoning by Classical Logic. FoIKS (2002)
Ofer Arieli
Paraconsistent Semantics for Extended Logic Programs. IC-AI (2002)
Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe
Coherent Composition of Distributed Knowledge-Bases Through Abduction. LPAR (2001)

Ofer Arieli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ofer Arieli