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
Journal ArticleDOI
Reasoning with logical bilattices
Ofer Arieli,Arnon Avron +1 more
TL;DR: This paper develops proof systems, which correspond to bilattice in an essential way, and introduces the notion of logical bilattices, which can be used for efficient inferences from possibly inconsistent data.
Journal ArticleDOI
The value of the four values
Ofer Arieli,Arnon Avron +1 more
TL;DR: This paper vindicates Belnap's thesis by showing that the logical role that the four-valued structure has among Ginsberg's bilattices is similar to the roles that the two-valued algebra has among Boolean algebras.
Journal ArticleDOI
Ideal Paraconsistent Logics
TL;DR: It is shown that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal, and for every n > 2 there exists an extensive family of ideal n-valued logics.
Proceedings ArticleDOI
Logical bilattices and inconsistent data
Ofer Arieli,Arnon Avron +1 more
TL;DR: This paper develops proof systems which correspond to bilattice in an essential way and shows how to use those bilattices for efficient inferences from possibly inconsistent data.
Journal ArticleDOI
Coherent integration of databases by abductive logic programming
TL;DR: An abductive method for a coherent integration of independent data-sources that is sound and complete with respect to a corresponding model-based, preferential semantics, and -- to the best of the knowledge -- is more expressive (thus more general) than any other implementation of coherent Integration of databases.