Follow
Ofer Arieli
Ofer Arieli
Dept. of Computer Science, The Academic College of Tel-Aviv
Verified email at mta.ac.il - Homepage
Title
Cited by
Cited by
Year
Reasoning with logical bilattices
O Arieli, A Avron
Journal of Logic, Language and Information 5, 25-63, 1996
3591996
The value of the four values
O Arieli, A Avron
Artificial Intelligence 102 (1), 97-141, 1998
3491998
Ideal paraconsistent logics
O Arieli, A Avron, A Zamansky
Studia Logica 99, 31-60, 2011
762011
Sequent-based logical argumentation
O Arieli, C Straßer
Argument & Computation 6 (1), 73-99, 2015
722015
Logical bilattices and inconsistent data
O Arieli, A Avron
Proceedings ninth annual IEEE symposium on logic in computer science, 468-476, 1994
661994
General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
O Arieli, A Avron
Logic Journal of IGPL 8 (2), 119-148, 2000
602000
Reducing preferential paraconsistent reasoning to classical entailment
O Arieli, M Denecker
Journal of Logic and Computation 13 (4), 557-580, 2003
582003
Bilattices and paraconsistency
O Arieli, A Avron
Frontiers in Paraconsistent Logic, 11-28, 2000
582000
Maximal and premaximal paraconsistency in the framework of three-valued semantics
O Arieli, A Avron, A Zamansky
Studia Logica 97, 31-60, 2011
542011
Four-valued paradefinite logics
O Arieli, A Avron
Studia Logica 105, 1087-1122, 2017
522017
A QBF-based formalization of abstract argumentation semantics
O Arieli, MWA Caminada
Journal of Applied Logic 11 (2), 229-252, 2013
472013
Three-valued paraconsistent propositional logics
O Arieli, A Avron
New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February …, 2016
432016
Distance-based paraconsistent logics
O Arieli
International Journal of Approximate Reasoning 48 (3), 766-783, 2008
432008
Coherent integration of databases by abductive logic programming
O Arieli, M Denecker, B Van Nuffelen, M Bruynooghe
Journal of Artificial Intelligence Research 21, 245-286, 2004
402004
Theory of effective propositional paraconsistent logics
A Avron, O Arieli, A Zamansky
College Publications, 2018
372018
Paraconsistent declarative semantics for extended logic programs
O Arieli
Annals of Mathematics and Artificial Intelligence 36, 381-417, 2002
362002
Distance semantics for database repair
O Arieli, M Denecker, M Bruynooghe
Annals of Mathematics and Artificial Intelligence 50, 389-415, 2007
342007
Database repair by signed formulae
O Arieli, M Denecker, B Van Nuffelen, M Bruynooghe
Foundations of Information and Knowledge Systems: Third International …, 2004
342004
Normative reasoning by sequent-based argumentation
C Straßer, O Arieli
Journal of Logic and Computation 29 (3), 387-415, 2019
332019
What Is an Ideal Logic for Reasoning with Inconsistency?.
O Arieli, A Avron, A Zamansky
IJCAI 2011, 706-711, 2011
302011
The system can't perform the operation now. Try again later.
Articles 1–20