References of "Gabbay, Dov M. 30000217"
     in
Bookmark and Share    
Peer Reviewed
See detailThe Equational Approach to Contrary-to-duty Obligations
Gabbay, Dov M. UL

in Beierle, Christoph; Meghini, Carlo (Eds.) Foundations of Information and Knowledge Systems (2014)

Detailed reference viewed: 77 (0 UL)
Peer Reviewed
See detailWhat is a Logical System? An Evolutionary View: 1964-2014
Gabbay, Dov M. UL

in Gabbay, Dov M.; Siekmann; Woods (Eds.) Computational Logic (2014)

Detailed reference viewed: 78 (1 UL)
Peer Reviewed
See detailPlatonic Realism and Talmudic Reasoning
Abraham, Michael; Belfer, Israel; Gabbay, Dov M. UL et al

in Abraham, Michael; Gabbay, Dov M.; Schild, Uri (Eds.) Platonic Realism and Talmudic Reasoning (2014)

Detailed reference viewed: 25 (0 UL)
Peer Reviewed
See detailWhen Text Authors Lived Using Undated Citations
Mughaz, Dror; HaCohen-Kerner, Yaakov; Gabbay, Dov M. UL

in Lamas, David; Buitelaar, Paul (Eds.) Multidisciplinary Information Retrieval (2014)

Detailed reference viewed: 74 (0 UL)
Full Text
Peer Reviewed
See detailReasoning about delegation and revocation schemes in answer set programming
Barker, Steve; Boella, Guido; Gabbay, Dov M. UL et al

in J. Log. Comput. (2014), 24(1), 89--116

Detailed reference viewed: 71 (0 UL)
Peer Reviewed
See detailIntuitionistic basis for IOL
Parent, Xavier UL; van der Torre, Leon UL; Gabbay, Dov M. UL

in Hansson, Sven Ove (Ed.) David Makinson's outsanding contribution to non-classical logic (2014)

Detailed reference viewed: 109 (20 UL)
Full Text
Peer Reviewed
See detailA neural cognitive model of argumentation with application to legal inference and decision making
Garcez, Artur S. D Avila; Gabbay, Dov M. UL; Lamb, Lu Is C.

in J. Applied Logic (2014), 12(2), 109--127

Detailed reference viewed: 78 (0 UL)
Full Text
Peer Reviewed
See detailProducts of modal logics and tensor products of modal algebras
Gabbay, Dov M. UL; Shapirovsky, Ilya; Shehtman, Valentin B.

in J. Applied Logic (2014), 12(4), 570--583

Detailed reference viewed: 64 (0 UL)
Full Text
Peer Reviewed
See detailAn equational approach to the merging of argumentation networks
Gabbay, Dov M. UL; Rodrigues, Odinaldo

in J. Log. Comput. (2014), 24(6), 1253--1277

Detailed reference viewed: 62 (0 UL)
Peer Reviewed
See detailWhen are Two Arguments the Same? Equivalence in Abstract Argumentation
Gabbay, Dov M. UL; Grossi, Davide

in Johan van Benthem on Logic and Information Dynamics (2014)

Detailed reference viewed: 110 (0 UL)
Full Text
Peer Reviewed
See detailThe Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation
Abraham, Michael; Gabbay, Dov M. UL; Schild, Uri J.

in HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday (2014)

Detailed reference viewed: 33 (0 UL)
Full Text
Peer Reviewed
See detailInterpolable Formulas in Equilibrium Logic and Answer Set Programming
Gabbay, Dov M. UL; Pearce, David; Valverde, Agust In

in Journal of Artificial Intelligence Research (2014), abs/1401.3897

Detailed reference viewed: 18 (4 UL)
Peer Reviewed
See detailEditorial Note
Siekmann, Jörg H.; Gabbay, Dov M. UL

in Computational Logic (2014)

Detailed reference viewed: 23 (0 UL)
Full Text
Peer Reviewed
See detailReactive Kripke models and contrary to duty obligations. Part A: Semantics
Gabbay, Dov M. UL

in J. Applied Logic (2013), 11(1), 103--136

Detailed reference viewed: 62 (0 UL)
Full Text
Peer Reviewed
See detailFuture determination of entities in Talmudic public announcement logic
Abraham, Michael; Belfer, Israel; Gabbay, Dov M. UL et al

in J. Applied Logic (2013), 11(1), 63--90

Detailed reference viewed: 69 (1 UL)
Full Text
Peer Reviewed
See detailSemantics and proof-theory of depth bounded Boolean logics
D'Agostino, Marcello; Finger, Marcelo; Gabbay, Dov M. UL

in Theor. Comput. Sci. (2013), 480

Detailed reference viewed: 64 (0 UL)
Full Text
Peer Reviewed
See detailA socio-cognitive model of trust using argumentation theory
Villata, Serena; Boella, Guido; Gabbay, Dov M. UL et al

in Int. J. Approx. Reasoning (2013), 54(4), 541--559

Detailed reference viewed: 69 (3 UL)
See detailReactive Kripke Semantics
Gabbay, Dov M. UL

Book published by Springer (2013)

Detailed reference viewed: 91 (0 UL)
Peer Reviewed
See detailNormative Reasoning and Consequence
Broersen, Jan; Cranefield, Stephen; Elrakaiby, Yehia UL et al

in Normative Multi-Agent Systems (2013)

Detailed reference viewed: 86 (15 UL)
See detailSets and Extensions in the Twentieth Century
Gabbay, Dov M. UL; Kanamori, Akihiro; Woods, John

Book published by Elsevier (2012)

Detailed reference viewed: 70 (0 UL)