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 (1), 25-63, 1996
3421996
The value of the four values
O Arieli, A Avron
Artificial Intelligence 102 (1), 97-141, 1998
3351998
Intuitionistic fuzzy sets and intervalvalued fuzzy sets: a critical comparison
O Arieli, C Cornelis, G Deschrijver, EE Kerre
Proc. Eusflat’03, 2003
982003
Logical bilattices and inconsistent data
O Arieli, A Avron
Proceedings ninth annual IEEE symposium on logic in computer science, 468-476, 1994
661994
Ideal paraconsistent logics
O Arieli, A Avron, A Zamansky
Studia Logica 99 (1), 31-60, 2011
642011
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
562003
Bilattices and paraconsistency
O Arieli, A Avron
Frontiers in Paraconsistent Logic, 11-28, 2000
552000
Sequent-based logical argumentation
O Arieli, C Straßer
Argument & Computation 6 (1), 73-99, 2015
522015
Maximal and premaximal paraconsistency in the framework of three-valued semantics
O Arieli, A Avron, A Zamansky
Studia Logica 97 (1), 31-60, 2011
502011
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, 91-129, 2015
442015
Distance-based paraconsistent logics
O Arieli
International Journal of Approximate Reasoning 48 (3), 766-783, 2008
422008
Theory of effective propositional paraconsistent logics
A Avron, O Arieli, A Zamansky
College Publications, 2018
402018
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
382004
Four-valued paradefinite logics
O Arieli, A Avron
Studia Logica 105 (6), 1087-1122, 2017
372017
Paraconsistent declarative semantics for extended logic programs
O Arieli
Annals of Mathematics and Artificial Intelligence 36 (4), 381-417, 2002
352002
Database repair by signed formulae
O Arieli, M Denecker, B Van Nuffelen, M Bruynooghe
International Symposium on Foundations of Information and Knowledge Systems …, 2004
322004
Distance semantics for database repair
O Arieli, M Denecker, M Bruynooghe
Annals of Mathematics and Artificial Intelligence 50 (3), 389-415, 2007
302007
Conflict-tolerant semantics for argumentation frameworks
O Arieli
European Workshop on Logics in Artificial Intelligence, 28-40, 2012
292012
The system can't perform the operation now. Try again later.
Articles 1–20