Reasoning with logical bilattices O Arieli, A Avron Journal of Logic, Language and Information 5, 25-63, 1996 | 362 | 1996 |
The value of the four values O Arieli, A Avron Artificial Intelligence 102 (1), 97-141, 1998 | 351 | 1998 |
Ideal paraconsistent logics O Arieli, A Avron, A Zamansky Studia Logica 99, 31-60, 2011 | 77 | 2011 |
Sequent-based logical argumentation O Arieli, C Straßer Argument & Computation 6 (1), 73-99, 2015 | 75 | 2015 |
Logical bilattices and inconsistent data O Arieli, A Avron Proceedings ninth annual IEEE symposium on logic in computer science, 468-476, 1994 | 66 | 1994 |
Reducing preferential paraconsistent reasoning to classical entailment O Arieli, M Denecker Journal of Logic and Computation 13 (4), 557-580, 2003 | 60 | 2003 |
General patterns for nonmonotonic reasoning: from basic entailments to plausible relations O Arieli, A Avron Logic Journal of IGPL 8 (2), 119-148, 2000 | 60 | 2000 |
Bilattices and paraconsistency O Arieli, A Avron Frontiers in Paraconsistent Logic, 11-28, 2000 | 59 | 2000 |
Maximal and premaximal paraconsistency in the framework of three-valued semantics O Arieli, A Avron, A Zamansky Studia Logica 97, 31-60, 2011 | 54 | 2011 |
Four-valued paradefinite logics O Arieli, A Avron Studia Logica 105, 1087-1122, 2017 | 52 | 2017 |
Theory of effective propositional paraconsistent logics A Avron, O Arieli, A Zamansky College Publications, 2018 | 50 | 2018 |
A QBF-based formalization of abstract argumentation semantics O Arieli, MWA Caminada Journal of Applied Logic 11 (2), 229-252, 2013 | 50 | 2013 |
Three-valued paraconsistent propositional logics O Arieli, A Avron New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February …, 2016 | 44 | 2016 |
Distance-based paraconsistent logics O Arieli International Journal of Approximate Reasoning 48 (3), 766-783, 2008 | 44 | 2008 |
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 | 40 | 2004 |
Paraconsistent declarative semantics for extended logic programs O Arieli Annals of Mathematics and Artificial Intelligence 36, 381-417, 2002 | 36 | 2002 |
Distance semantics for database repair O Arieli, M Denecker, M Bruynooghe Annals of Mathematics and Artificial Intelligence 50, 389-415, 2007 | 35 | 2007 |
Database repair by signed formulae O Arieli, M Denecker, B Van Nuffelen, M Bruynooghe Foundations of Information and Knowledge Systems: Third International …, 2004 | 35 | 2004 |
Normative reasoning by sequent-based argumentation C Straßer, O Arieli Journal of Logic and Computation 29 (3), 387-415, 2019 | 33 | 2019 |
What Is an Ideal Logic for Reasoning with Inconsistency?. O Arieli, A Avron, A Zamansky IJCAI 2011, 706-711, 2011 | 31 | 2011 |