References of "Gabbay, Dov M. 30000217"
     in
Bookmark and Share    
Peer Reviewed
See detailEditorial Note
Siekmann, Jörg H.; Gabbay, Dov M. UL

in Computational Logic (2014)

Detailed reference viewed: 4 (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: 13 (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: 12 (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: 8 (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: 84 (19 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: 10 (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: 7 (4 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: 11 (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: 15 (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: 63 (15 UL)
See detailReactive Kripke Semantics
Gabbay, Dov M. UL

Book published by Springer (2013)

Detailed reference viewed: 17 (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: 17 (3 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: 15 (1 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: 11 (0 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: 11 (0 UL)
Full Text
Peer Reviewed
See detailThe Equational Approach to CF2 Semantics
Gabbay, Dov M. UL

in Computational Models of Argument - Proceedings of COMMA 2012, Vienna Austria, September 10-12, 2012 (2012)

Detailed reference viewed: 6 (0 UL)
Full Text
Peer Reviewed
See detailTwo dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]
Boer, Mathijs De; Gabbay, Dov M. UL; Parent, Xavier UL et al

in Synthese (2012), 187(2), 623--660

Detailed reference viewed: 26 (0 UL)
Full Text
Peer Reviewed
See detailTemporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations
Gabbay, Dov M. UL

in Deontic Logic in Computer Science - 11th International Conference DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings (2012)

Detailed reference viewed: 12 (0 UL)
Full Text
Peer Reviewed
See detailModal and temporal argumentation networks
Barringer, Howard; Gabbay, Dov M. UL; Woods, John

in Argument and Computation (2012), 3(2-3), 203--227

Detailed reference viewed: 8 (1 UL)
Full Text
Peer Reviewed
See detailTemporal, numerical and meta-level dynamics in argumentation networks
Barringer, Howard; Gabbay, Dov M. UL; Woods, John

in Argument and Computation (2012), 3(2-3), 143--202

Detailed reference viewed: 11 (1 UL)