O
Ofer Arieli
Researcher at Tel Aviv University
Publications - 111
Citations - 1835
Ofer Arieli is an academic researcher from Tel Aviv University. The author has contributed to research in topics: Argumentation theory & Non-monotonic logic. The author has an hindex of 21, co-authored 104 publications receiving 1721 citations. Previous affiliations of Ofer Arieli include Ghent University & Katholieke Universiteit Leuven.
Papers
More filters
Proceedings Article
Dynamic Derivations for Sequent-Based Logical Argumentation
Ofer Arieli,Christian Straßer +1 more
TL;DR: This framework accommodates different languages and logics in which arguments may be represented, supports a variety of attack relations, and tolerates dynamic changes in the argumentation setting by revising derivations of assertions in light of new information.
Journal ArticleDOI
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks
TL;DR: This paper incorporates integrity constraints in abstract argumentation frameworks and shows that this approach is particularly useful for assuring the existence of non-empty extensions and for handling contradictions among the constraints, in which cases conflict-free extensions are not available.
Journal ArticleDOI
Distance-based non-deterministic semantics for reasoning with uncertainty
Ofer Arieli,Anna Zamansky +1 more
TL;DR: The basic properties of the distance-preferential non-deterministic logics are investigated, their application for reasoning with incomplete and inconsistent information is considered, and the correspondence between some particular entailments in the framework and well-known problems like max-SAT is shown.
A Bilattice-based Approach to Recover Consistent Data from Inconsistent Knowledge-Bases
Ofer Arieli,Arnon Avron +1 more
TL;DR: Bilaitices, which have been shown to be very useful in logic programming, are used here for recovering consistent data from an inconsistent knowledge-base and the method is coaseroative in the sense that it considers the contradictory data as useless, and regards all the remaining information unaffected.
Journal ArticleDOI
Reasoning with Prioritized Information by Iterative Aggregation of Distance Functions
TL;DR: A general framework for reasoning with prioritized propositional data by aggregation of distance functions is introduced, based on a possible world semantics, where conclusions are drawn according to the most ‘plausible’ worlds.