Volgen
Ofer Arieli
Ofer Arieli
Dept. of Computer Science, The Academic College of Tel-Aviv
Geverifieerd e-mailadres voor mta.ac.il - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Reasoning with logical bilattices
O Arieli, A Avron
Journal of Logic, Language and Information 5, 25-63, 1996
3581996
The value of the four values
O Arieli, A Avron
Artificial Intelligence 102 (1), 97-141, 1998
3481998
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
682015
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
592000
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
532011
Four-valued paradefinite logics
O Arieli, A Avron
Studia Logica 105, 1087-1122, 2017
512017
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
Paraconsistent declarative semantics for extended logic programs
O Arieli
Annals of Mathematics and Artificial Intelligence 36, 381-417, 2002
362002
Theory of effective propositional paraconsistent logics
A Avron, O Arieli, A Zamansky
College Publications, 2018
352018
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
322019
Distance semantics for database repair
O Arieli, M Denecker, M Bruynooghe
Annals of Mathematics and Artificial Intelligence 50, 389-415, 2007
322007
What Is an Ideal Logic for Reasoning with Inconsistency?.
O Arieli, A Avron, A Zamansky
IJCAI 2011, 706-711, 2011
302011
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20