References of "Gabbay, Dov M. 30000217"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailPreface
Baaz, Matthias; Ciabattoni, Agata; Gabbay, Dov M. UL et al

in Journal of Logic and Computation (2017)

Detailed reference viewed: 56 (7 UL)
Full Text
Peer Reviewed
See detailLogical Analysis of Cyber Vulnerability and Protection
David, Esther; Gabbay, Dov M. UL; Leshem, Guy et al

in IfCoLog Journal of Logics and Their Applications (2017)

The growth in IoT will far exceed that of other connected devices. In contrast to the rapid assimilation of the IoT devices and interfaces, the technology that ensures these systems are safe and secure is ... [more ▼]

The growth in IoT will far exceed that of other connected devices. In contrast to the rapid assimilation of the IoT devices and interfaces, the technology that ensures these systems are safe and secure is left behind. The IoT safety, security and privacy is composed of several key aspects. Attention has already been given to vulnerabilities associated with networked systems as authentication and encryption. However there exist more vulnerabilities issues in IoT systems for which we aim to develop a detection methodology and propose possible solutions. Specifically, here we propose techniques for security verification of an IoT system that mainly involves inconsistency and vulnerability. The proposed methods are logic based techniques that were developed especially for the new challenges that the IoT environment is facing. [less ▲]

Detailed reference viewed: 78 (3 UL)
Full Text
Peer Reviewed
See detailHEAL2100: Human Effective Argumentation and Logic for the 21st Century. The next Step in the Evolution of Logic
Gabbay, Dov M. UL; Rivlin, Lydia

in IfCoLog Journal of Logics and Their Applications (2017)

This editorial is about weaponising the Fallacies, and offering them as active additional components to modern formal logic, thus forming the new evolutionary logic for the 21st Century. Logicians since ... [more ▼]

This editorial is about weaponising the Fallacies, and offering them as active additional components to modern formal logic, thus forming the new evolutionary logic for the 21st Century. Logicians since Aristotle considered the fallacies as wrong arguments which look correct but are not. They classified them into groups, discussed them and left them by the sidelines of logic as failures. Modern society, with the rise of the internet, Twitter, Facebook and YouTube showed the fallacies as most used and most effective in argumentation and debate. If this is the way humans reason and think then we need to develop the logical theory of the the use of the fallacies and legitimise them as a significant component of modern reasoning. This manifesto outlines our approach to the new logic of the 21st century which allows for the systematic use of the fallacies in argumentation and debate as practiced by people in the mass media. [less ▲]

Detailed reference viewed: 142 (1 UL)
See detailFeasible Deduction for Realistic Agents
D'Agostino, Marcello; Gabbay, Dov M. UL

Book published by College Publications (2017)

Detailed reference viewed: 58 (2 UL)
Full Text
Peer Reviewed
See detailReasoning under the Influence of Universal Distortion. Sex Offenders Case Study
Gabbay, Dov M. UL; Rozenberg, Gadi; Rivlin, Lydia

in IfCoLog Journal of Logics and Their Applications (2017)

We define and study the phenomenon of a universal distortion into a reasoning system or an argumentation network. Such distortions can happen for various reasons, for instance under the influence of ... [more ▼]

We define and study the phenomenon of a universal distortion into a reasoning system or an argumentation network. Such distortions can happen for various reasons, for instance under the influence of alcohol or a fundamentalist religion, or as the result of a behavioural disorder such as paedophilia. We define the notion theoretically in the framework of abstract argumentation and present an actual case study of a sex offender. We then present a formal logical model. [less ▲]

Detailed reference viewed: 79 (2 UL)
Full Text
Peer Reviewed
See detailArgumentation as Information Input: A Position Paper
Gabbay, Dov M. UL; Gabbay, Michael

in Computational Models of Argument - Proceedings of COMMA 2016, Potsdam Germany, 12-16 September, 2016. (2016)

Detailed reference viewed: 44 (0 UL)
See detailA New Perspective on Nonmonotonic Logics
Gabbay, Dov M. UL; Schlechta, Karl

Book published by Springer (2016)

Detailed reference viewed: 134 (0 UL)
Full Text
Peer Reviewed
See detailIdentity Merging and Identity Revision in Talmudic Logic: An Outline Paper
Abraham, Michael; Belfer, Israel; Schild, Uri J. et al

in Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday (2016)

Detailed reference viewed: 47 (0 UL)
Full Text
Peer Reviewed
See detailLogical foundations for bipolar and tripolar argumentation networks: preliminary results
Gabbay, Dov M. UL

in Journal of Logic and Computation (2016), 26(1), 247--292

Detailed reference viewed: 118 (2 UL)
Full Text
Peer Reviewed
See detailTheory of Semi-Instantiation in Abstract Argumentation
Gabbay, Dov M. UL

in Logica Universalis (2016), 10(4), 431--516

Detailed reference viewed: 148 (0 UL)
Full Text
Peer Reviewed
See detailThe attack as intuitionistic negation
Gabbay, Dov M. UL; Gabbay, Michael

in Logic Journal of the IGPL (2016), 24(5), 807--837

Detailed reference viewed: 160 (0 UL)
Full Text
Peer Reviewed
See detailThe handling of loops in argumentation networks
Gabbay, Dov M. UL

in Journal of Logic and Computation (2016), 26(4), 1065--1147

Detailed reference viewed: 135 (2 UL)
Full Text
Peer Reviewed
See detailIntroduction to the special issue on Loops in Argumentation
Baroni, Pietro; Gabbay, Dov M. UL; Giacomin, Massimiliano

in Journal of Logic and Computation (2016), 26(4), 1051--1053

Detailed reference viewed: 135 (1 UL)
Full Text
Peer Reviewed
See detailQuantum States and Disjunctive Attacks in Talmudic Logic
Abraham, Michael; Belfer, Israel; Schild, Uri et al

in Journal of Logics (2016)

Detailed reference viewed: 61 (0 UL)
Full Text
Peer Reviewed
See detailIntroducing Bayesian Argumentation Networks
Gabbay, Dov M. UL; Rodrigues, O.

in IfCoLog Journal of Logics and Their Applications (2016)

Detailed reference viewed: 56 (2 UL)
Peer Reviewed
See detailFurther Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories
Gabbay, Dov M. UL; Rodrigues, Odinaldo

in Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday (2016)

Detailed reference viewed: 54 (0 UL)
Full Text
Peer Reviewed
See detailPresent and Future of Formal Argumentation
van der Torre, Leon UL; Giacomin, Massimiliano; Liao, Beishui et al

in Dagstuhl Reports (2016)

This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 “Present and Future of Formal Argumentation”. The goal of this Dagstuhl Perspectives Workshop was to gather the ... [more ▼]

This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 “Present and Future of Formal Argumentation”. The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats) analysis of the current state of the research in this field and to draw accordingly some strategic lines to ensure its successful development in the future. A critical survey of the field has been carried out through individual presentations and collective discussions. Moreover, working group activity lead to identify several open problems in argumentation. [less ▲]

Detailed reference viewed: 131 (11 UL)
Full Text
Peer Reviewed
See detailDegrees of "in", "out" and "undecided" in Argumentation Networks
Gabbay, Dov M. UL; Rodrigues, Odinaldo

in Computational Models of Argument - Proceedings of COMMA 2016, Potsdam Germany, 12-16 September, 2016. (2016)

Detailed reference viewed: 29 (0 UL)
Full Text
Peer Reviewed
See detailTheory of disjunctive attacks, Part I
Gabbay, Dov M. UL; Gabbay, Michael

in Logic Journal of the IGPL (2016), 24(2), 186--218

Detailed reference viewed: 154 (0 UL)
Full Text
Peer Reviewed
See detailTheory of Semi-Instantiation in Abstract Argumentation
Gabbay, Dov M. UL

in To appear Logica Universalis (2015)

We study instantiated abstract argumentation frames of the form (S, R, I), where (S, R) is an abstract argumentation frame and where the arguments x of S are instantiated by I(x) as well formed formulas ... [more ▼]

We study instantiated abstract argumentation frames of the form (S, R, I), where (S, R) is an abstract argumentation frame and where the arguments x of S are instantiated by I(x) as well formed formulas of a well known logic, for example as Boolean formulas or as predicate logic formulas or as modal logic formulas. We use the method of conceptual analysis to derive the properties of our proposed system. We seek to define the notion of complete extensions for such systems and provide algorithms for finding such extensions. We further develop a theory of instantiation in the abstract, using the framework of Boolean attack formations and of conjunctive and disjunctive attacks. We discuss applications and compare critically with the existing related literature. [less ▲]

Detailed reference viewed: 58 (1 UL)