References of "Gabbay, Dov M. 30000217"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailReasoning Schemes, Expert Opinions and Critical Questions. Sex Offenders Case Study
Gabbay, Dov M. UL; Rozenberg, Gadi

in The IfCoLog Journal of Logics and their Applications (2017)

This paper examines in detail the argumentation features in the domain of sex offender with some applications to the scheme of “Argument from Expert Opinion". We build a model for reasoning schemes ... [more ▼]

This paper examines in detail the argumentation features in the domain of sex offender with some applications to the scheme of “Argument from Expert Opinion". We build a model for reasoning schemes, critical questions and expert opinion on the question of “the degree of risk of a sex offender". We discover that in order to properly model expert practice in this area we need to use numerical argumentation as well as the new notion of “Attack as Information Input". The model is generic and we believe is not restricted to the sex offence area of expertise. Our paper also offers a more detailed example for Walton’s argumentation scheme of Expert Opinion as well as a bridge between the argumentation community and the community dealing with sex offenders. We offer an introduction to the student on the subject of determining the degree of risk of sex offenders. We also look at standard international tools for determining the risk of sex offenders and see how the argumentation community can integrate these tools. [less ▲]

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

Book published by College Publications (2017)

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

in The 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: 33 (2 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 The 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: 34 (0 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 The 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: 32 (0 UL)
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: 23 (7 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: 15 (0 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: 17 (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: 25 (0 UL)
Full Text
Peer Reviewed
See detailIntroducing Bayesian Argumentation Networks
Gabbay, Dov M. UL; Rodrigues, O.

in The IfColog Journal of Logics and their Applications (FLAP) (2016)

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

Book published by Springer (2016)

Detailed reference viewed: 16 (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: 20 (0 UL)
Full Text
Peer Reviewed
See detailIntroduction to the special issue on Loops in Argumentation
Baroni, Pietro; Gabbay, Dov M. UL; Giacomin, Massimiliano

in J. Log. Comput. (2016), 26(4), 1051--1053

Detailed reference viewed: 14 (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: 16 (0 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: 29 (0 UL)
Full Text
Peer Reviewed
See detailThe handling of loops in argumentation networks
Gabbay, Dov M. UL

in J. Log. Comput. (2016), 26(4), 1065--1147

Detailed reference viewed: 11 (0 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: 9 (0 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: 16 (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: 93 (10 UL)
Full Text
Peer Reviewed
See detailLogical foundations for bipolar and tripolar argumentation networks: preliminary results
Gabbay, Dov M. UL

in J. Log. Comput. (2016), 26(1), 247--292

Detailed reference viewed: 20 (1 UL)