Arieli, Ofer

6 publications

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

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

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

IJCAI 2011 What Is an Ideal Logic for Reasoning with Inconsistency? Ofer Arieli, Arnon Avron, Anna Zamansky

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

JAIR 2004 Coherent Integration of Databases by Abductive Logic Programming Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe