Articles with public access mandates - Ofer ArieliLearn more
Available somewhere: 22
A QBF-based formalization of abstract argumentation semantics
O Arieli, MWA Caminada
Journal of Applied Logic 11 (2), 229-252, 2013
Mandates: UK Engineering and Physical Sciences Research Council
Normative reasoning by sequent-based argumentation
C Straßer, O Arieli
Journal of Logic and Computation 29 (3), 387-415, 2019
Mandates: Federal Ministry of Education and Research, Germany
Towards a logical reconstruction of a theory for locally closed databases
M Denecker, Á Cortés-Calabuig, M Bruynooghes, O Arieli
ACM Transactions on Database Systems (TODS) 35 (3), 1-60, 2008
Mandates: Research Foundation (Flanders)
Reasoning with maximal consistency by argumentative approaches
O Arieli, AM Borg, C Straßer
Journal of Logic and Computation 28 (7), 1523-1563, 2018
Mandates: Federal Ministry of Education and Research, Germany
On the semantics of simple contrapositive assumption-based argumentation frameworks
J Heyninck, O Arieli
Computational Models of Argument, 9-20, 2018
Mandates: Federal Ministry of Education and Research, Germany
Logical argumentation by dynamic proof systems
O Arieli, C Straßer
Theoretical Computer Science 781, 63-91, 2019
Mandates: Federal Ministry of Education and Research, Germany
Prioritized Sequent-Based Argumentation.
O Arieli, AM Borg, C Straßer
AAMAS, 1105-1113, 2018
Mandates: Federal Ministry of Education and Research, Germany
A review of the relations between logical argumentation and reasoning with maximal consistency
O Arieli, AM Borg, J Heyninck
Annals of Mathematics and Artificial Intelligence 87, 187-226, 2019
Mandates: Federal Ministry of Education and Research, Germany
Simple contrapositive assumption-based argumentation frameworks
J Heyninck, O Arieli
International Journal of Approximate Reasoning 121, 103-124, 2020
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Argumentative approaches to reasoning with consistent subsets of premises
O Arieli, AM Borg, C Straßer
International Conference on Industrial, Engineering and Other Applications …, 2017
Mandates: Federal Ministry of Education and Research, Germany
A generalized proof-theoretic approach to logical argumentation based on hypersequents
AM Borg, C Straßer, O Arieli
Studia Logica 109 (1), 167-238, 2021
Mandates: Federal Ministry of Education and Research, Germany
Simple contrapositive assumption-based frameworks
J Heyninck, O Arieli
International Conference on Logic Programming and Nonmonotonic Reasoning, 75-88, 2019
Mandates: Federal Ministry of Education and Research, Germany
An argumentative characterization of disjunctive logic programming
J Heyninck, O Arieli
Progress in Artificial Intelligence: 19th EPIA Conference on Artificial …, 2019
Mandates: Fundação para a Ciência e a Tecnologia, Portugal, Federal Ministry of …
Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5.
AM Borg, O Arieli
AAMAS, 1097-1104, 2018
Mandates: Federal Ministry of Education and Research, Germany
Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM
AM Borg, O Arieli, C Straßer
Theory and Applications of Formal Argumentation: 4th International Workshop …, 2018
Mandates: Federal Ministry of Education and Research, Germany
Simple contrapositive assumption-based argumentation part II: Reasoning with preferences
O Arieli, J Heyninck
International Journal of Approximate Reasoning 139, 28-53, 2021
Mandates: German Research Foundation
Approximation fixpoint theory for non-deterministic operators and its application in disjunctive logic programming
J Heyninck, O Arieli
Proceedings of the International Conference on Principles of Knowledge …, 2021
Mandates: German Research Foundation
Comonadic Semantics for Description Logics Games.
B Bednarczyk, M Urbanczyk, O Arieli, M Homola, JC Jung, M Mugnier
Description Logics, 2022
Mandates: European Commission
Argumentative reflections of approximation fixpoint theory
J Heyninck, O Arieli
Computational Models of Argument, 215-226, 2020
Mandates: German Research Foundation
Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases.
A Cortés-Calabuig, M Denecker, O Arieli, M Bruynooghe
KR, 81-91, 2008
Mandates: Research Foundation (Flanders)
Publication and funding information is determined automatically by a computer program