Dov M. Gabbay

Publication Activity (10 Years)

Years Active: 1970-2023
Publications (10 Years): 61

Top Venues

FLAP

CoRR

J. Log. Comput.

COMMA

Publications

Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor
A comprehensive account of the burden of persuasion in abstract argumentation. J. Log. Comput. 33 (2) (2023)
Dov M. Gabbay, Gadi Rozenberg
Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks. FLAP 10 (5) (2023)
Yulin Chen, Bo Yuan, Beishui Liao, Dov M. Gabbay
A self-explanatory contrastive logical knowledge learning method for sentiment analysis. Knowl. Based Syst. 278 (2023)
Sviatlana Höhn, Barbara Lewandowska-Tomaszczyk, Sjouke Mauw, Dov M. Gabbay
Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years. FLAP 10 (4) (2023)
Timotheus Kampik, Juan Carlos Nieves, Dov M. Gabbay
Ensuring reference independence and cautious monotony in abstract argumentation. Int. J. Approx. Reason. 140 (2022)
Jieting Luo, Beishui Liao, Dov M. Gabbay
Value-based Practical Reasoning: Modal Logic + Argumentation. CoRR (2022)
Xu Li, Dov M. Gabbay, Réka Markovich
Dynamic Deontic Logic for Permitted Announcements. KR (2022)
Yulin Chen, Zelai Yao, Haixiao Chi, Dov M. Gabbay, Bo Yuan, Bruno Bentzen, Beishui Liao
BTPK-based learning: An Interpretable Method for Named Entity Recognition. CoRR (2022)
Jieting Luo, Beishui Liao, Dov M. Gabbay
Value-Based Practical Reasoning: Modal Logic + Argumentation. COMMA (2022)
Liuwen Yu, Dov M. Gabbay
Case-Based Reasoning via Comparing the Strength Order of Features. EXTRAAMAS@AAMAS (2022)
Dov M. Gabbay, John Woods
The Law of Evidence and Labelled Deduction: Ten Years Later. FLAP 9 (4) (2022)
Kees van Berkel, Dov M. Gabbay, Leendert van der Torre
If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality. DEON (2021)
Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor
The Burden of Persuasion in Abstract Argumentation. CLAR (2021)
Timotheus Kampik, Dov M. Gabbay
The Degrees of Monotony-Dilemma in Abstract Argumentation. ECSQARU (2021)
Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm
Preface. FLAP 8 (6) (2021)
Timotheus Kampik, Dov M. Gabbay
Explainable Reasoning in Face of Contradictions: From Humans to Machines. EXTRAAMAS@AAMAS (2021)
Dov M. Gabbay
What is Negation in a System 2020? FLAP 8 (7) (2021)
Timotheus Kampik, Dov M. Gabbay
Towards DiArg: An Argumentation-based Dialogue Reasoning Engine. SAFA@COMMA (2020)
Dov M. Gabbay
Book Symposium on Woods' Truth in Fiction: Editorial Remarks. FLAP 7 (2) (2020)
Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. GraMSec@CSF (2020)
Marcello D'Agostino, Dov M. Gabbay, Sanjay Modgil
Normality, Non-contamination and Logical Depth in Classical Natural Deduction. Stud Logica 108 (2) (2020)
Dov M. Gabbay, Gadi Rozenberg
Introducing Abstract Argumentation with Many Lives. FLAP 7 (3) (2020)
Ringo Baumann, Dov M. Gabbay, Odinaldo Rodrigues
Forgetting an Argument. AAAI (2020)
Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay
A Bimodal Simulation of Defeasibility in the Normative Domain. FCR@KI (2020)
Dov M. Gabbay, Uri J. Schild, Esther David
The Talmudic Logic Project, Ongoing Since 2008. Logica Universalis 13 (4) (2019)
Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay
Text Mining for Evaluating Authors' Birth and Death Years. ACM Trans. Knowl. Discov. Data 13 (1) (2019)
Dov M. Gabbay, Xavier Parent, Leon van der Torre
A geometrical view of I/O logic. CoRR (2019)
Leendert W. N. van der Torre, Tjitze Rienstra, Dov M. Gabbay
Argumentation as Exogenous Coordination. It's All About Coordination (2018)
Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). Dagstuhl Manifestos 7 (1) (2018)
Dov M. Gabbay, Jörg H. Siekmann
Editorial. FLAP 5 (1) (2018)
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller
Preface. J. Log. Comput. 27 (2) (2017)
Pietro Baroni, Dov M. Gabbay, Massimiliano Giacomin, Leon van der Torre
Editorial. FLAP 4 (8) (2017)
Dov M. Gabbay, Lydia Rivlin
HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of Logic. FLAP 4 (6) (2017)
Dov M. Gabbay, Gadi Rozenberg
Reasoning Schemes, Expert Opinion and Critical Questions. Sex Offenders Case Study. FLAP 4 (6) (2017)
Dov M. Gabbay, Jörg H. Siekmann
Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017. FLAP 4 (5) (2017)
Dov M. Gabbay, Gadi Rozenberg, Lydia Rivlin
Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study. FLAP 4 (6) (2017)
Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay
Mining and Using Key-Words and Key-Phrases to Identify the Era of an Anonymous Text. Trans. Comput. Collect. Intell. 26 (2017)
Dov M. Gabbay
The handling of loops in argumentation networks. J. Log. Comput. 26 (4) (2016)
Matthias Thimm, Dov M. Gabbay
Editorial Preface. FLAP 3 (2) (2016)
Dov M. Gabbay
Logical foundations for bipolar and tripolar argumentation networks: preliminary results. J. Log. Comput. 26 (1) (2016)
Dov M. Gabbay, Michael Gabbay
The attack as intuitionistic negation. Log. J. IGPL 24 (5) (2016)
Dov M. Gabbay, Michael Gabbay
Theory of disjunctive attacks, Part I. Log. J. IGPL 24 (2) (2016)
Dov M. Gabbay, Odinaldo Rodrigues
Degrees of "in", "out" and "undecided" in Argumentation Networks. COMMA (2016)
Dov M. Gabbay, Odinaldo Rodrigues
Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories. Computational Models of Rationality (2016)
Michael Abraham, Israel Belfer, Uri J. Schild, Dov M. Gabbay
Quantum States and Disjunctive Attacks in Talmudic Logic. FLAP 3 (5) (2016)
Dov M. Gabbay, Michael Gabbay
Argumentation as Information Input: A Position Paper. COMMA (2016)
Dov M. Gabbay
Theory of Semi-Instantiation in Abstract Argumentation. Logica Universalis 10 (4) (2016)
Pietro Baroni, Dov M. Gabbay, Massimiliano Giacomin
Introduction to the special issue on Loops in Argumentation. J. Log. Comput. 26 (4) (2016)
Michael Abraham, Israel Belfer, Uri J. Schild, Dov M. Gabbay
Identity Merging and Identity Revision in Talmudic Logic: An Outline Paper. Computational Models of Rationality (2016)
Dov M. Gabbay, Odinaldo Rodrigues
Introducing Bayesian Argumentation Networks. FLAP 3 (2) (2016)
Dov M. Gabbay
Theory of Semi-Instantiation in Abstract Argumentation. CoRR (2015)
Dov M. Gabbay, Odinaldo Rodrigues
Probabilistic Argumentation: An Equational Approach. Logica Universalis 9 (3) (2015)
Dov M. Gabbay, Michael Gabbay
The Attack as Intuitionistic Negation. CoRR (2015)
Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre
Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362). Dagstuhl Reports 5 (8) (2015)
Dov M. Gabbay, Odinaldo Rodrigues
Probabilistic Argumentation. An Equational Approach. CoRR (2015)
Dov M. Gabbay, Michael Gabbay
The Attack as Strong Negation, Part I. CoRR (2015)
Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay
Key-Phrases as Means to Estimate Birth and Death Years of Jewish Text Authors. International KEYSTONE Conference (2015)
Dov M. Gabbay, Odinaldo Rodrigues
Equilibrium States in Numerical Argumentation Networks. Logica Universalis 9 (4) (2015)
Dov M. Gabbay
Editorial comment about "On the Difference between ABA and AA". FLAP 2 (1) (2015)
Dov M. Gabbay, Christian Straßer
Reactive standard deontic logic. J. Log. Comput. 25 (1) (2015)
Dov M. Gabbay, Michael Gabbay
The attack as strong negation, part I. Log. J. IGPL 23 (6) (2015)
Dov M. Gabbay, David Pearce, Agustín Valverde
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. CoRR (2014)
Dov M. Gabbay, Livio Robaldo, Xin Sun, Leendert W. N. van der Torre, Zohreh Baniasadi
Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. DEON (2014)
Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
Abduction and Dialogical Proof in Argumentation and Logic Programming. CoRR (2014)
Dov M. Gabbay, Odinaldo Rodrigues
A self-correcting iteration schema for argumentation networks. COMMA (2014)
Dov M. Gabbay
The Equational Approach to Contrary-to-duty Obligations. FoIKS (2014)
Dov M. Gabbay, Odinaldo Rodrigues
An equational approach to the merging of argumentation networks. J. Log. Comput. 24 (6) (2014)
Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
Abduction and Dialogical Proof in Argumentation and Logic Programming. ECAI (2014)
Dov M. Gabbay, Odinaldo Rodrigues
Equilibrium States in Numerical Argumentation Networks. CoRR (2014)
Howard Barringer, David E. Rydeheard, Dov M. Gabbay
Reactivity and Grammars: An Exploration. Language, Culture, Computation (1) (2014)
Dov M. Gabbay, Ilya Shapirovsky, Valentin B. Shehtman
Products of modal logics and tensor products of modal algebras. J. Appl. Log. 12 (4) (2014)
Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
A neural cognitive model of argumentation with application to legal inference and decision making. J. Appl. Log. 12 (2) (2014)
Dov M. Gabbay
Systems of Interacting Argumentation Networks. FLAP 1 (1) (2014)
Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese
Reasoning about delegation and revocation schemes in answer set programming. J. Log. Comput. 24 (1) (2014)
Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay
When Text Authors Lived Using Undated Citations. IRFC (2014)
Dov M. Gabbay, Loïc Gammaitoni, Xin Sun
The paradoxes of permission an action based solution. J. Appl. Log. 12 (2) (2014)
Michael Abraham, Israel Belfer, Dov M. Gabbay, Uri J. Schild
Future determination of entities in Talmudic public announcement logic. J. Appl. Log. 11 (1) (2013)
Dov M. Gabbay
Reactive Kripke models and contrary to duty obligations. Part A: Semantics. J. Appl. Log. 11 (1) (2013)
Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre
A socio-cognitive model of trust using argumentation theory. Int. J. Approx. Reason. 54 (4) (2013)
Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. 480 (2013)
Dov M. Gabbay
Completeness theorems for reactive modal logics. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Dov M. Gabbay
The Equational Approach to CF2 Semantics. COMMA (2012)
Dov M. Gabbay, Odinaldo Rodrigues
A Numerical Approach to the Merging of Argumentation Networks. CLIMA (2012)
Dov M. Gabbay
Overview on the connection between reactive Kripke models and argumentation networks. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Dov M. Gabbay
Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. DEON (2012)
Michael Abraham, Dov M. Gabbay, Uri J. Schild
Contrary to time conditionals in Talmudic logic. Artif. Intell. Law 20 (2) (2012)
Dov M. Gabbay
Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report. CLIMA (2012)
Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre
Discussion Paper: Changing Norms Is Changing Obligation Change. DEON (2012)
Mathijs de Boer, Dov M. Gabbay, Xavier Parent, Marija Slavkovic
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Synth. 187 (2) (2012)
Dov M. Gabbay
Introducing reactive modal tableaux. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Dov M. Gabbay
Equational approach to argumentation networks. Argument Comput. 3 (2-3) (2012)
Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre
Modelling defeasible and prioritized support in bipolar argumentation. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Joris Hulstijn
A logic of argumentation for specification and verification of abstract argumentation frameworks. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Howard Barringer, Dov M. Gabbay, John Woods
Modal and temporal argumentation networks. Argument Comput. 3 (2-3) (2012)
Alexander Bochman, Dov M. Gabbay
Causal dynamic inference. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Howard Barringer, Dov M. Gabbay, John Woods
Temporal, numerical and meta-level dynamics in argumentation networks. Argument Comput. 3 (2-3) (2012)
Dov M. Gabbay
What Is Negation as Failure? Logic Programs, Norms and Action (2012)
Dov M. Gabbay
The Equational Approach to CF2 Semantics CoRR (2012)
Dov M. Gabbay, Sérgio Marcelino
Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. 66 (1-4) (2012)
Dov M. Gabbay
Introducing reactive Kripke semantics and arc accessibility. Ann. Math. Artif. Intell. 66 (1-4) (2012)

Dov M. Gabbay.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dov M. Gabbay