References of "Gabbay, Dov M. 30000217"
     in
Bookmark and Share    
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: 114 (1 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: 125 (1 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: 115 (4 UL)
Full Text
Peer Reviewed
See detailToward a Linguistic Interpretation of Deontic Paradoxes
Sun, Xin UL; Gabbay, Dov M. UL; Robaldo, Livio UL et al

in 12th International Conference Deontic Logic and Normative Systems (2014)

Detailed reference viewed: 151 (8 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: 62 (6 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: 37 (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: 104 (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: 129 (20 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: 42 (2 UL)
Full Text
Peer Reviewed
See detailReactive Kripke models and contrary to duty obligations. Part A: Semantics
Gabbay, Dov M. UL

in Journal of Applied Logic (2013), 11(1), 103--136

Detailed reference viewed: 124 (1 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 Journal of Applied Logic (2013), 11(1), 63--90

Detailed reference viewed: 122 (2 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 International Journal of Approximate Reasoning (2013), 54(4), 541--559

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

Book published by Springer (2013)

Detailed reference viewed: 130 (0 UL)
Full Text
Peer Reviewed
See detailDiscussion Paper: Changing Norms Is Changing Obligation Change
Broersen, Jan UL; Gabbay, Dov M. UL; van der Torre, Leon UL

in Deontic Logic in Computer Science (2012)

Detailed reference viewed: 125 (5 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: 132 (0 UL)
Full Text
Peer Reviewed
See detailA Numerical Approach to the Merging of Argumentation Networks
Gabbay, Dov M. UL; Rodrigues, Odinaldo

in Fisher, Michael; Torre, Leon; Dastani, Mehdi (Eds.) et al Computational Logic in Multi-Agent Systems (2012)

In this paper, we propose a numerical approach to the problem of merging of argumentation networks. The idea is to consider an augmented network containing the arguments and attacks of all networks to be ... [more ▼]

In this paper, we propose a numerical approach to the problem of merging of argumentation networks. The idea is to consider an augmented network containing the arguments and attacks of all networks to be merged and then associate a weight to each of its components based on how they are perceived by the agents associated with the local networks. The combined weighted network is then used to define a system of equations from which the overall strength of the arguments is calculated. [less ▲]

Detailed reference viewed: 130 (0 UL)
Full Text
Peer Reviewed
See detailA logic of argumentation for specification and verification of abstract argumentation frameworks
Villata, Serena; Boella, Guido; Gabbay, Dov M. UL et al

in Annals of Mathematics & Artificial Intelligence (2012), 66(1-4), 199-230

In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung’s abstract argumentation frameworks. We distinguish three kinds of decision ... [more ▼]

In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung’s abstract argumentation frameworks. We distinguish three kinds of decision problems for argumentation verification, called extension verification, framework verification, and specification verification respectively. For example, given a political requirement like “if the argument to increase taxes is accepted, then the argument to increase services must be accepted too,” we can either verify an extension of acceptable arguments, or all extensions of an argumentation framework, or all extensions of all argumentation frameworks satisfying a framework specification. We introduce the logic of argumentation verification to specify such requirements, and we represent the three verification problems of argumentation as model checking and theorem proving properties of the logic. Moreover, we recast the logic of argumentation verification in a modal framework, in order to express multiple extensions, and properties like transitivity and reflexivity of the attack relation. Finally, we introduce a logic of meta-argumentation where abstract argumentation is used to reason about abstract argumentation itself. We define the logic of meta-argumentation using the fibring methodology in such a way to represent attack relations not only among arguments but also among attacks. [less ▲]

Detailed reference viewed: 138 (5 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: 108 (0 UL)