References of "Gabbay, Dov M. 30000217"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailInterpolable Formulas in Equilibrium Logic and Answer Set Programming
Gabbay, Dov M. UL; Pearce, David; Valverde, Agust In

in CoRR (2014), abs/1401.3897

Detailed reference viewed: 2 (0 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: 14 (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: 9 (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 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: 8 (0 UL)
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 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: 11 (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: 2 (0 UL)
Full Text
Peer Reviewed
See detailEquilibrium States in Numerical Argumentation Networks
Gabbay, Dov M. UL; Rodrigues, Odinaldo

in CoRR (2014), abs/1408.6706

Detailed reference viewed: 4 (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: 55 (14 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: 14 (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: 13 (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: 10 (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: 10 (0 UL)
See detailLogic: A History of its Central Concepts
Gabbay, Dov M. UL; Pelletier, Francis Jeffry; Woods, John

Book published by Elsevier (2012)

Detailed reference viewed: 34 (0 UL)
Full Text
Peer Reviewed
See detailEquational approach to argumentation networks
Gabbay, Dov M. UL

in Argument and Computation (2012), 3(2-3), 87--142

Detailed reference viewed: 18 (2 UL)
Peer Reviewed
See detailPreface
Gabbay, Dov M. UL; Pelletier, Francis Jeffry; Woods, John

in Logic: A History of its Central Concepts (2012)

Detailed reference viewed: 3 (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: 11 (0 UL)
Full Text
Peer Reviewed
See detailWhat Is Negation as Failure?
Gabbay, Dov M. UL

in Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday (2012)

Detailed reference viewed: 18 (0 UL)