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 Journal of Artificial Intelligence Research (2014), abs/1401.3897

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

in Computational Logic (2014)

Detailed reference viewed: 116 (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: 132 (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 Journal of Logic and Computation (2014), 24(1), 89--116

Detailed reference viewed: 112 (1 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: 122 (20 UL)
Full Text
Peer Reviewed
See detailToward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario
Gabbay, Dov M. UL; Robaldo, Livio; Sun, Xin UL et al

in Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings (2014)

. A linguistic analysis of deontic paradoxes can be used to further develop deontic logic. In this paper we provide a Beth-Reichenbach semantics to analyze deontic paradoxes, and we illustrate it on the ... [more ▼]

. A linguistic analysis of deontic paradoxes can be used to further develop deontic logic. In this paper we provide a Beth-Reichenbach semantics to analyze deontic paradoxes, and we illustrate it on the single agent decision problem of the miners scenario. We also introduce extensions with reactive arrows and actions, which can be used to give a linguistic interpretation of multi-agent dialogues. [less ▲]

Detailed reference viewed: 93 (4 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: 96 (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: 39 (0 UL)
Full Text
Peer Reviewed
See detailEquilibrium States in Numerical Argumentation Networks
Gabbay, Dov M. UL; Rodrigues, Odinaldo

in Logica Universalis (2014), abs/1408.6706

Detailed reference viewed: 56 (6 UL)
Full Text
Peer Reviewed
See detailThe paradoxes of permission an action based solution
Gabbay, Dov M. UL; Gammaitoni, Loïc UL; Sun, Xin UL

in Journal of Applied Logic (2014), 12(2), 179191

The aim of this article is to construct a deontic logic in which the free choice postulate allow (Ross, 1941) [11] would be consistent and all the implausible result mentioned in (Hanson, in press) [5 ... [more ▼]

The aim of this article is to construct a deontic logic in which the free choice postulate allow (Ross, 1941) [11] would be consistent and all the implausible result mentioned in (Hanson, in press) [5] will be blocked. To achieve this we first developed a new theory of action. Then we build a new deontic logic in which the deontic action operator and the deontic proposition operator are explicitly distinguished. [less ▲]

Detailed reference viewed: 106 (16 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 Journal of Applied Logic (2014), 12(2), 109--127

Detailed reference viewed: 108 (1 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: 111 (0 UL)
Peer Reviewed
See detailSystems of Interacting Argumentation Networks
Gabbay, Dov M. UL

in Journal of Logics and their Applications (2014)

Detailed reference viewed: 31 (0 UL)
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: 35 (2 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: 108 (1 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 Journal of Applied Logic (2014), 12(4), 570--583

Detailed reference viewed: 93 (1 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: 99 (0 UL)
Full Text
Peer Reviewed
See detailAn equational approach to the merging of argumentation networks
Gabbay, Dov M. UL; Rodrigues, Odinaldo

in Journal of Logic and Computation (2014), 24(6), 1253--1277

Detailed reference viewed: 88 (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: 100 (0 UL)
See detailReactive Kripke Semantics
Gabbay, Dov M. UL

Book published by Springer (2013)

Detailed reference viewed: 122 (0 UL)