Ofer Arieli - RankMe

117 papers A* 17A 6B 14C 11Misc 4Journal 46Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Argumentative Characterizations of (Extended) Disjunctive Logic Programs. Theory Pract. Log. Program. Jesse Heyninck, Ofer Arieli
2025	A*	`conf`	Compactness and Preservation in Logical Argumentation Frameworks. KR Ofer Arieli, Christian Straßer
2025	J	`jnl`	Simple contrapositive assumption-based argumentation frameworks with preferences: Partial orders and collective attacks. Int. J. Approx. Reason. Ofer Arieli, Jesse Heyninck
2024	Misc	`conf`	Collective Attacks in Assumption-Based Argumentation. SAC Ofer Arieli, Jesse Heyninck
2024	A*	`conf`	Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. AAAI Ofer Arieli, Kees van Berkel, Christian Straßer
2024	A*	`conf`	Deontic Reasoning Based on Inconsistency Measures. KR Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straßer
2024	J	`jnl`	Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming. Artif. Intell. Jesse Heyninck, Ofer Arieli, Bart Bogaerts
2024	A*	`conf`	Semantics for Non-Flat Assumption-Based Argumentation, Revisited. IJCAI Jesse Heyninck, Ofer Arieli
2023	J	`jnl`	A postulate-driven study of logical argumentation. Artif. Intell. Ofer Arieli, Annemarie Borg, Christian Straßer
2023	J	`jnl`	Argumentative Characterizations of (Extended) Disjunctive Logic Programs. CoRR Jesse Heyninck, Ofer Arieli
2023	A*	`conf`	Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences. KR Ofer Arieli, Jesse Heyninck
2022	—	`conf`	Abductive Reasoning with Sequent-Based Argumentation. NMR Ofer Arieli, Annemarie Borg, Matthis Hesse, Christian Straßer
2022	A*	`conf`	Annotated Sequent Calculi for Paraconsistent Reasoning and Their Relations to Logical Argumentation. IJCAI Ofer Arieli, Kees van Berkel, Christian Straßer
2022	C	`conf`	Explainable Logic-Based Argumentation. COMMA Ofer Arieli, Annemarie Borg, Matthis Hesse, Christian Straßer
2022	J	`jnl`	Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming. CoRR Jesse Heyninck, Ofer Arieli, Bart Bogaerts
2022	—	`ed.`	Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022. NMR Ofer Arieli, Giovanni Casini, Laura Giordano
2022	—	`ed.`	Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. Description Logics Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier
2021	J	`jnl`	A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents. Stud Logica Annemarie Borg, Christian Straßer, Ofer Arieli
2021	A*	`conf`	Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming. KR Jesse Heyninck, Ofer Arieli
2021	A*	`conf`	Characterizations and Classifications of Argumentative Entailments. KR Ofer Arieli, Annemarie Borg, Christian Straßer
2021	J	`jnl`	Logic-Based Approaches to Formal Argumentation. FLAP Ofer Arieli, Annemarie Borg, Jesse Heyninck, Christian Straßer
2021	J	`jnl`	Simple contrapositive assumption-based argumentation part II: Reasoning with preferences. Int. J. Approx. Reason. Ofer Arieli, Jesse Heyninck
2020	C	`conf`	Argumentative Reflections of Approximation Fixpoint Theory. COMMA Jesse Heyninck, Ofer Arieli
2020	C	`conf`	On Minimality and Consistency Tolerance in Logical Argumentation Frameworks. COMMA Ofer Arieli, Christian Straßer
2020	A	`conf`	Prioritized Simple Contrapositive Assumption-Based Frameworks. ECAI Ofer Arieli, Jesse Heyninck
2020	J	`jnl`	Simple contrapositive assumption-based argumentation frameworks. Int. J. Approx. Reason. Jesse Heyninck, Ofer Arieli
2020	Misc	`conf`	Tuning Logical Argumentation Frameworks: A Postulate-Derived Approach. FLAIRS Ofer Arieli, Annemarie Borg, Christian Straßer
2019	J	`jnl`	A review of the relations between logical argumentation and reasoning with maximal consistency. Ann. Math. Artif. Intell. Ofer Arieli, Annemarie Borg, Jesse Heyninck
2019	—	`conf`	An Argumentative Characterization of Disjunctive Logic Programming. EPIA (2) Jesse Heyninck, Ofer Arieli
2019	J	`jnl`	Logical argumentation by dynamic proof systems. Theor. Comput. Sci. Ofer Arieli, Christian Straßer
2019	J	`jnl`	Normative reasoning by sequent-based argumentation. J. Log. Comput. Christian Straßer, Ofer Arieli
2019	J	`jnl`	Preface. FLAP Ofer Arieli, Anna Zamansky
2019	A	`conf`	Simple Contrapositive Assumption-Based Frameworks. AAMAS Jesse Heyninck, Ofer Arieli
2019	B	`conf`	Simple Contrapositive Assumption-Based Frameworks. LPNMR Jesse Heyninck, Ofer Arieli
2018	A	`conf`	Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5. AAMAS Annemarie Borg, Ofer Arieli
2018	C	`conf`	On the Semantics of Simple Contrapositive Assumption-Based Argumentation Frameworks. COMMA Jesse Heyninck, Ofer Arieli
2018	A	`conf`	Prioritized Sequent-Based Argumentation. AAMAS Ofer Arieli, Annemarie Borg, Christian Straßer
2018	J	`jnl`	Reasoning with maximal consistency by argumentative approaches. J. Log. Comput. Ofer Arieli, Annemarie Borg, Christian Straßer
2017	—	`conf`	Argumentative Approaches to Reasoning with Consistent Subsets of Premises. IEA/AIE (1) Ofer Arieli, Annemarie Borg, Christian Straßer
2017	J	`jnl`	Four-Valued Paradefinite Logics. Stud Logica Ofer Arieli, Arnon Avron
2017	—	`conf`	Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM. TAFA Annemarie Borg, Ofer Arieli, Christian Straßer
2016	J	`jnl`	A graded approach to database repair by context-aware distance semantics. Fuzzy Sets Syst. Ofer Arieli, Anna Zamansky
2016	A*	`conf`	Argumentative Approaches to Reasoning with Maximal Consistency. KR Ofer Arieli, Christian Straßer
2016	J	`jnl`	Foreword. J. Log. Comput. Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky
2016	B	`conf`	Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency. FSCD Ofer Arieli, Arnon Avron
2016	J	`jnl`	On the acceptance of loops in argumentation frameworks. J. Log. Comput. Ofer Arieli
2016	J	`jnl`	Preface. Log. J. IGPL Ofer Arieli, Anna Zamansky
2015	J	`jnl`	A dissimilarity-based framework for generating inconsistency-tolerant logics. Ann. Math. Artif. Intell. Ofer Arieli, Anna Zamansky
2015	J	`jnl`	Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. J. Appl. Log. Ofer Arieli
2015	—	`conf`	Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. LSFA Ofer Arieli, Christian Straßer
2015	J	`jnl`	Sequent-based logical argumentation. Argument Comput. Ofer Arieli, Christian Straßer
2014	—	`conf`	Context-Aware Distance Semantics for Inconsistent Database Systems. IPMU (2) Anna Zamansky, Ofer Arieli, Kostas Stefanidis
2014	C	`conf`	Dynamic Derivations for Sequent-Based Logical Argumentation. COMMA Ofer Arieli, Christian Straßer
2014	C	`conf`	Preferential Reasoning Based On Abstract Argumentation Semantics. COMMA Ofer Arieli, Tjitze Rienstra
2014	—	`conf`	Sequent-Based Argumentation for Normative Reasoning. DEON Christian Straßer, Ofer Arieli
2013	J	`jnl`	A QBF-based formalization of abstract argumentation semantics. J. Appl. Log. Ofer Arieli, Martin W. A. Caminada
2013	—	`conf`	A Sequent-Based Representation of Logical Argumentation. CLIMA Ofer Arieli
2013	Misc	`conf`	Towards Constraints Handling by Conflict Tolerance in Abstract Argumentation Frameworks. FLAIRS Ofer Arieli
2012	C	`conf`	A General QBF-based Formalization of abstract Argumentation Theory. COMMA Ofer Arieli, Martin W. A. Caminada
2012	B	`conf`	Conflict-Tolerant Semantics for Argumentation Frameworks. JELIA Ofer Arieli
2012	—	`conf`	Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities. FoIKS Ofer Arieli, Anna Zamansky
2011	J	`jnl`	A framework for reasoning under uncertainty based on non-deterministic distance semantics. Int. J. Approx. Reason. Ofer Arieli, Anna Zamansky
2011	J	`jnl`	Coherent Integration of Databases by Abductive Logic Programming CoRR Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen
2011	J	`jnl`	Ideal Paraconsistent Logics. Stud Logica Ofer Arieli, Arnon Avron, Anna Zamansky
2011	J	`jnl`	Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. Stud Logica Ofer Arieli, Arnon Avron, Anna Zamansky
2011	J	`jnl`	Simplified forms of computerized reasoning with distance semantics. J. Appl. Log. Ofer Arieli, Anna Zamansky
2011	A*	`conf`	What Is an Ideal Logic for Reasoning with Inconsistency?. IJCAI Ofer Arieli, Arnon Avron, Anna Zamansky
2010	A*	`conf`	Maximally Paraconsistent Three-Valued Logics. KR Ofer Arieli, Arnon Avron, Anna Zamansky
2010	A*	`conf`	On Strong Maximality of Paraconsistent Finite-Valued Logics. LICS Arnon Avron, Ofer Arieli, Anna Zamansky
2010	A*	`conf`	On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information. KR Ofer Arieli
2010	B	`conf`	Similarity-Based Inconsistency-Tolerant Logics. JELIA Ofer Arieli, Anna Zamansky
2010	J	`jnl`	Towards a logical reconstruction of a theory for locally closed databases. ACM Trans. Database Syst. Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe, Ofer Arieli
2009	J	`jnl`	Distance-based non-deterministic semantics for reasoning with uncertainty. Log. J. IGPL Ofer Arieli, Anna Zamansky
2009	C	`conf`	Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. ECSQARU Ofer Arieli, Anna Zamansky
2008	A*	`conf`	Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. KR Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2008	—	`conf`	Distance-Based Non-Deterministic Semantics. AGI Ofer Arieli, Anna Zamansky
2008	J	`jnl`	Distance-based paraconsistent logics. Int. J. Approx. Reason. Ofer Arieli
2008	—	`conf`	Reasoning with Prioritized Data by Aggregation of Distance Functions. AGI Ofer Arieli
2008	C	`conf`	Reasoning with Uncertainty by Nmatrix-Metric Semantics. WoLLIC Ofer Arieli, Anna Zamansky
2008	J	`jnl`	Reasoning with prioritized information by iterative aggregation of distance functions. J. Appl. Log. Ofer Arieli
2008	—	`conf`	Some Simplified Forms of Reasoning with Distance-Based Entailments. Canadian AI Ofer Arieli, Anna Zamansky
2007	J	`jnl`	A Bilattice-Based Framework for Handling Graded Truth and Imprecision. Int. J. Uncertain. Fuzziness Knowl. Based Syst. Glad Deschrijver, Ofer Arieli, Chris Cornelis, Etienne E. Kerre
2007	A*	`conf`	Approximate Query Answering in Locally Closed Databases. AAAI Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2007	B	`conf`	Commonsense reasoning by distance semantics. TARK Ofer Arieli
2007	J	`jnl`	Distance semantics for database repair. Ann. Math. Artif. Intell. Ofer Arieli, Marc Denecker, Maurice Bruynooghe
2007	J	`jnl`	Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae. ACM Trans. Comput. Log. Ofer Arieli
2007	J	`jnl`	Uncertainty Modeling by Bilattice-Based Squares and Triangles. IEEE Trans. Fuzzy Syst. Chris Cornelis, Ofer Arieli, Glad Deschrijver, Etienne E. Kerre
2006	J	`jnl`	Computational methods for database repair by signed formulae. Ann. Math. Artif. Intell. Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2006	B	`conf`	Distance-Based Repairs of Databases. JELIA Ofer Arieli, Marc Denecker, Maurice Bruynooghe
2006	B	`conf`	Preference Modeling by Rectangular Bilattices. MDAI Ofer Arieli, Chris Cornelis, Glad Deschrijver
2006	B	`conf`	Representation of Partial Knowledge and Query Answering in Locally Complete Databases. LPAR Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2005	B	`conf`	An ID-Logic Formalization of the Composition of Autonomous Databases. LPNMR Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe
2005	C	`conf`	Bilattice-Based Squares and Triangles. ECSQARU Ofer Arieli, Chris Cornelis, Glad Deschrijver, Etienne E. Kerre
2005	—	`conf`	On the Local Closed-World Assumption of Data-Sources. BNAIC Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
2005	B	`conf`	On the Local Closed-World Assumption of Data-Sources. LPNMR Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
2004	J	`jnl`	Coherent Integration of Databases by Abductive Logic Programming. J. Artif. Intell. Res. Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2004	A	`conf`	Data Integration Using ID-Logic. CAiSE Bert Van Nuffelen, Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe
2004	—	`conf`	Database Repair by Signed Formulae. FoIKS Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2004	A	`conf`	Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae. ECAI Ofer Arieli
2003	C	`conf`	Preferential Logics for Reasoning with Graded Uncertainty. ECSQARU Ofer Arieli
2003	J	`jnl`	Reasoning with Different Levels of Uncertainty. J. Appl. Non Class. Logics Ofer Arieli
2003	J	`jnl`	Reducing Preferential Paraconsistent Reasoning to Classical Entailment. J. Log. Comput. Ofer Arieli, Marc Denecker
2002	—	`conf`	Modeling Paraconsistent Reasoning by Classical Logic. FoIKS Ofer Arieli, Marc Denecker
2002	J	`jnl`	Paraconsistent Declarative Semantics for Extended Logic Programs. Ann. Math. Artif. Intell. Ofer Arieli
2002	Misc	`conf`	Paraconsistent Semantics for Extended Logic Programs. IC-AI Ofer Arieli
2002	—	`conf`	Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. Paraconsistent Computational Logic Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
2001	B	`conf`	Coherent Composition of Distributed Knowledge-Bases Through Abduction. LPAR Ofer Arieli, Bert Van Nuffelen, Marc Denecker, Maurice Bruynooghe
2000	B	`conf`	An Algorithmic Approach to Recover Inconsistent Knowledge-Bases. JELIA Ofer Arieli
2000	J	`jnl`	General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations. Log. J. IGPL Ofer Arieli, Arnon Avron
1999	J	`jnl`	A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases. J. Autom. Reason. Ofer Arieli, Arnon Avron
1999	—	`conf`	Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations. ESCQARU Ofer Arieli, Arnon Avron
1998	A*	`conf`	The Logical Role of the Four-Valued Bilattice. LICS Ofer Arieli, Arnon Avron
1998	J	`jnl`	The Value of the Four Values. Artif. Intell. Ofer Arieli, Arnon Avron
1996	B	`conf`	Automatic Diagnoses for Properly Stratified Knowledge-Bases. ICTAI Ofer Arieli, Arnon Avron
1996	B	`conf`	Four-Valued Diagnoses for Stratified Knowledge-Bases. CSL Ofer Arieli, Arnon Avron
1996	J	`jnl`	Reasoning with Logical Bilattices. J. Log. Lang. Inf. Ofer Arieli, Arnon Avron
1994	A*	`conf`	Logical Bilattices and Inconsistent Data LICS Ofer Arieli, Arnon Avron