References of "Gabbay, Dov M. 30000217"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA self-correcting iteration schema for argumentation networks
Gabbay, Dov M. UL; Rodrigues, Odinaldo

in Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014 (2014)

Detailed reference viewed: 21 (2 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: 48 (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: 49 (0 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: 23 (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: 67 (0 UL)
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: 63 (0 UL)
Full Text
Peer Reviewed
See detailReactivity and Grammars: An Exploration
Barringer, Howard; Rydeheard, David E.; Gabbay, Dov M. UL

in Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday Part I (2014)

Detailed reference viewed: 50 (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: 54 (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: 15 (4 UL)
See detailReactive Kripke Semantics
Gabbay, Dov M. UL

Book published by Springer (2013)

Detailed reference viewed: 73 (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: 52 (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: 50 (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: 52 (3 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: 81 (15 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: 47 (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: 13 (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: 46 (0 UL)
Full Text
Peer Reviewed
See detailAn Equational Approach to Logic Programming
Gabbay, Dov M. UL

in Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz (2012)

Detailed reference viewed: 38 (0 UL)
Full Text
Peer Reviewed
See detailSequential Dynamic Logic
Bochman, Alexander; Gabbay, Dov M. UL

in Journal of Logic, Language and Information (2012), 21(3), 279--298

Detailed reference viewed: 49 (0 UL)
Full Text
Peer Reviewed
See detailBipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report
Gabbay, Dov M. UL

in Computational Logic in Multi-Agent Systems - 13th International Workshop CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings (2012)

Detailed reference viewed: 47 (0 UL)