


default search action
Dov M. Gabbay
Person information
- affiliation: King's College London, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j189]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): 555-585 (2023) - [j188]Dov M. Gabbay, Gadi Rozenberg:
Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks. FLAP 10(5): 909-966 (2023) - [j187]Yulin Chen
, Bo Yuan
, Beishui Liao
, Dov M. Gabbay:
A self-explanatory contrastive logical knowledge learning method for sentiment analysis. Knowl. Based Syst. 278: 110863 (2023) - [j186]Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor
:
A comprehensive account of the burden of persuasion in abstract argumentation. J. Log. Comput. 33(2): 257-288 (2023) - 2022
- [j185]Dov M. Gabbay, John Woods:
The Law of Evidence and Labelled Deduction: Ten Years Later. FLAP 9(4): 955-1024 (2022) - [j184]Timotheus Kampik
, Juan Carlos Nieves, Dov M. Gabbay:
Ensuring reference independence and cautious monotony in abstract argumentation. Int. J. Approx. Reason. 140: 173-210 (2022) - [c94]Liuwen Yu
, Dov M. Gabbay:
Case-Based Reasoning via Comparing the Strength Order of Features. EXTRAAMAS@AAMAS 2022: 143-151 - [c93]Jieting Luo, Beishui Liao, Dov M. Gabbay:
Value-Based Practical Reasoning: Modal Logic + Argumentation. COMMA 2022: 248-259 - [c92]Xu Li, Dov M. Gabbay, Réka Markovich:
Dynamic Deontic Logic for Permitted Announcements. KR 2022 - [i19]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 abs/2201.09523 (2022) - [i18]Jieting Luo, Beishui Liao, Dov M. Gabbay:
Value-based Practical Reasoning: Modal Logic + Argumentation. CoRR abs/2204.04938 (2022) - 2021
- [j183]Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm:
Preface. FLAP 8(6): 1335-1338 (2021) - [j182]Dov M. Gabbay:
What is Negation in a System 2020? FLAP 8(7): 1977-2034 (2021) - [c91]Timotheus Kampik, Dov M. Gabbay:
Explainable Reasoning in Face of Contradictions: From Humans to Machines. EXTRAAMAS@AAMAS 2021: 280-295 - [c90]Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor
:
The Burden of Persuasion in Abstract Argumentation. CLAR 2021: 224-243 - [c89]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: 36-55 - [c88]Timotheus Kampik, Dov M. Gabbay:
The Degrees of Monotony-Dilemma in Abstract Argumentation. ECSQARU 2021: 89-102 - 2020
- [j181]Dov M. Gabbay:
Book Symposium on Woods' Truth in Fiction: Editorial Remarks. FLAP 7(2): 111-112 (2020) - [j180]Dov M. Gabbay, Gadi Rozenberg:
Introducing Abstract Argumentation with Many Lives. FLAP 7(3): 295-336 (2020) - [j179]Marcello D'Agostino
, Dov M. Gabbay, Sanjay Modgil:
Normality, Non-contamination and Logical Depth in Classical Natural Deduction. Stud Logica 108(2): 291-357 (2020) - [c87]Ringo Baumann, Dov M. Gabbay, Odinaldo Rodrigues
:
Forgetting an Argument. AAAI 2020: 2750-2757 - [c86]Timotheus Kampik, Dov M. Gabbay:
Towards DiArg: An Argumentation-based Dialogue Reasoning Engine. SAFA@COMMA 2020: 14-21 - [c85]Dov M. Gabbay, Ross Horne
, Sjouke Mauw, Leendert van der Torre
:
Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. GraMSec@CSF 2020: 143-165 - [c84]Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay:
A Bimodal Simulation of Defeasibility in the Normative Domain. FCR@KI 2020: 41-54
2010 – 2019
- 2019
- [j178]Dov M. Gabbay, Uri J. Schild, Esther David:
The Talmudic Logic Project, Ongoing Since 2008. Logica Universalis 13(4): 425-442 (2019) - [j177]Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay:
Text Mining for Evaluating Authors' Birth and Death Years. ACM Trans. Knowl. Discov. Data 13(1): 7:1-7:24 (2019) - [i17]Dov M. Gabbay, Xavier Parent, Leon van der Torre:
A geometrical view of I/O logic. CoRR abs/1911.12837 (2019) - 2018
- [j176]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): 69-95 (2018) - [j175]Dov M. Gabbay, Jörg H. Siekmann:
Editorial. FLAP 5(1): 1-4 (2018) - [c83]Leendert W. N. van der Torre
, Tjitze Rienstra, Dov M. Gabbay:
Argumentation as Exogenous Coordination. It's All About Coordination 2018: 208-223 - 2017
- [j174]Dov M. Gabbay, Jörg H. Siekmann:
Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017. FLAP 4(5) (2017) - [j173]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) - [j172]Dov M. Gabbay, Gadi Rozenberg:
Reasoning Schemes, Expert Opinion and Critical Questions. Sex Offenders Case Study. FLAP 4(6) (2017) - [j171]Dov M. Gabbay, Gadi Rozenberg, Lydia Rivlin:
Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study. FLAP 4(6) (2017) - [j170]Pietro Baroni, Dov M. Gabbay, Massimiliano Giacomin, Leon van der Torre:
Editorial. FLAP 4(8) (2017) - [j169]Matthias Baaz, Agata Ciabattoni
, Dov M. Gabbay, Stefan Hetzl, Daniel Weller:
Preface. J. Log. Comput. 27(2): 415 (2017) - [j168]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: 119-143 (2017) - 2016
- [b16]Dov M. Gabbay, Karl Schlechta:
A New Perspective on Nonmonotonic Logics. Springer 2016, ISBN 978-3-319-46815-0, pp. 1-365 - [j167]Matthias Thimm, Dov M. Gabbay:
Editorial Preface. FLAP 3(2): 175-176 (2016) - [j166]Dov M. Gabbay, Odinaldo Rodrigues:
Introducing Bayesian Argumentation Networks. FLAP 3(2): 241-278 (2016) - [j165]Michael Abraham, Israel Belfer, Uri J. Schild, Dov M. Gabbay:
Quantum States and Disjunctive Attacks in Talmudic Logic. FLAP 3(5): 789-814 (2016) - [j164]Dov M. Gabbay, Michael Gabbay:
Theory of disjunctive attacks, Part I. Log. J. IGPL 24(2): 186-218 (2016) - [j163]Dov M. Gabbay, Michael Gabbay:
The attack as intuitionistic negation. Log. J. IGPL 24(5): 807-837 (2016) - [j162]Dov M. Gabbay:
Logical foundations for bipolar and tripolar argumentation networks: preliminary results. J. Log. Comput. 26(1): 247-292 (2016) - [j161]Pietro Baroni, Dov M. Gabbay, Massimiliano Giacomin
:
Introduction to the special issue on Loops in Argumentation. J. Log. Comput. 26(4): 1051-1053 (2016) - [j160]Dov M. Gabbay:
The handling of loops in argumentation networks. J. Log. Comput. 26(4): 1065-1147 (2016) - [j159]Dov M. Gabbay:
Theory of Semi-Instantiation in Abstract Argumentation. Logica Universalis 10(4): 431-516 (2016) - [c82]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: 195-209 - [c81]Dov M. Gabbay, Odinaldo Rodrigues:
Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories. Computational Models of Rationality 2016: 392-408 - [c80]Dov M. Gabbay, Michael Gabbay:
Argumentation as Information Input: A Position Paper. COMMA 2016: 311-318 - [c79]Dov M. Gabbay, Odinaldo Rodrigues
:
Degrees of "in", "out" and "undecided" in Argumentation Networks. COMMA 2016: 319-326 - 2015
- [j158]Dov M. Gabbay:
Editorial comment about "On the Difference between ABA and AA". FLAP 2(1): 1-14 (2015) - [j157]Dov M. Gabbay, Michael Gabbay:
The attack as strong negation, part I. Log. J. IGPL 23(6): 881-941 (2015) - [j156]Dov M. Gabbay, Christian Straßer
:
Reactive standard deontic logic. J. Log. Comput. 25(1): 117-157 (2015) - [j155]Dov M. Gabbay, Odinaldo Rodrigues
:
Probabilistic Argumentation: An Equational Approach. Logica Universalis 9(3): 345-382 (2015) - [j154]Dov M. Gabbay, Odinaldo Rodrigues
:
Equilibrium States in Numerical Argumentation Networks. Logica Universalis 9(4): 411-473 (2015) - [c78]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: 108-126 - [i16]Dov M. Gabbay, Odinaldo Rodrigues:
Probabilistic Argumentation. An Equational Approach. CoRR abs/1503.05501 (2015) - [i15]Dov M. Gabbay:
Theory of Semi-Instantiation in Abstract Argumentation. CoRR abs/1504.07020 (2015) - [i14]Dov M. Gabbay, Michael Gabbay:
The Attack as Strong Negation, Part I. CoRR abs/1506.03266 (2015) - [i13]Dov M. Gabbay, Michael Gabbay:
The Attack as Intuitionistic Negation. CoRR abs/1510.00077 (2015) - [i12]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): 74-89 (2015) - 2014
- [j153]Dov M. Gabbay:
Systems of Interacting Argumentation Networks. FLAP 1(1): 131-176 (2014) - [j152]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): 109-127 (2014) - [j151]Dov M. Gabbay, Loïc Gammaitoni, Xin Sun:
The paradoxes of permission an action based solution. J. Appl. Log. 12(2): 179-191 (2014) - [j150]Dov M. Gabbay, Ilya Shapirovsky
, Valentin B. Shehtman
:
Products of modal logics and tensor products of modal algebras. J. Appl. Log. 12(4): 570-583 (2014) - [j149]Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese:
Reasoning about delegation and revocation schemes in answer set programming. J. Log. Comput. 24(1): 89-116 (2014) - [j148]Dov M. Gabbay, Odinaldo Rodrigues:
An equational approach to the merging of argumentation networks. J. Log. Comput. 24(6): 1253-1277 (2014) - [c77]Howard Barringer, David E. Rydeheard, Dov M. Gabbay:
Reactivity and Grammars: An Exploration. Language, Culture, Computation (1) 2014: 103-155 - [c76]Dov M. Gabbay, Odinaldo Rodrigues
:
A self-correcting iteration schema for argumentation networks. COMMA 2014: 377-384 - [c75]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: 108-123 - [c74]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: 117-122 - [c73]Dov M. Gabbay:
The Equational Approach to Contrary-to-duty Obligations. FoIKS 2014: 1-61 - [c72]Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay:
When Text Authors Lived Using Undated Citations. IRFC 2014: 82-95 - [p12]Dov M. Gabbay, Davide Grossi:
When are Two Arguments the Same? Equivalence in Abstract Argumentation. Johan van Benthem on Logic and Information Dynamics 2014: 677-701 - [p11]Michael Abraham, Dov M. Gabbay, Uri J. Schild:
The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation. HOWARD-60 2014: 140-164 - [r11]Dov M. Gabbay:
What is a logical system? An evolutionary view: 1964-2014. Computational Logic 2014: 41-132 - [r10]Jörg H. Siekmann, Dov M. Gabbay:
Editorial Note. Computational Logic 2014 - [i11]Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. CoRR abs/1401.3897 (2014) - [i10]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 abs/1407.3896 (2014) - [i9]Dov M. Gabbay, Odinaldo Rodrigues:
Equilibrium States in Numerical Argumentation Networks. CoRR abs/1408.6706 (2014) - 2013
- [b15]Dov M. Gabbay:
Reactive Kripke Semantics. Cognitive Technologies, Springer 2013, ISBN 978-3-642-41388-9, pp. 1-430 - [j147]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): 541-559 (2013) - [j146]Michael Abraham, Israel Belfer
, Dov M. Gabbay, Uri J. Schild:
Future determination of entities in Talmudic public announcement logic. J. Appl. Log. 11(1): 63-90 (2013) - [j145]Dov M. Gabbay:
Reactive Kripke models and contrary to duty obligations. Part A: Semantics. J. Appl. Log. 11(1): 103-136 (2013) - [j144]Marcello D'Agostino
, Marcelo Finger, Dov M. Gabbay:
Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. 480: 43-68 (2013) - [p10]Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby
, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber
:
Normative Reasoning and Consequence. Normative Multi-Agent Systems 2013: 33-70 - 2012
- [j143]Michael Abraham, Dov M. Gabbay, Uri J. Schild:
Contrary to time conditionals in Talmudic logic. Artif. Intell. Law 20(2): 145-179 (2012) - [j142]Dov M. Gabbay:
Overview on the connection between reactive Kripke models and argumentation networks. Ann. Math. Artif. Intell. 66(1-4): 1-5 (2012) - [j141]Dov M. Gabbay:
Introducing reactive Kripke semantics and arc accessibility. Ann. Math. Artif. Intell. 66(1-4): 7-53 (2012) - [j140]Dov M. Gabbay:
Introducing reactive modal tableaux. Ann. Math. Artif. Intell. 66(1-4): 55-79 (2012) - [j139]Dov M. Gabbay:
Completeness theorems for reactive modal logics. Ann. Math. Artif. Intell. 66(1-4): 81-129 (2012) - [j138]Dov M. Gabbay, Sérgio Marcelino
:
Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. 66(1-4): 131-162 (2012) - [j137]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): 163-197 (2012) - [j136]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): 199-230 (2012) - [j135]Alexander Bochman
, Dov M. Gabbay:
Causal dynamic inference. Ann. Math. Artif. Intell. 66(1-4): 231-256 (2012) - [j134]Christoph Benzmüller
, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli:
Embedding and automating conditional logics in classical higher-order logic. Ann. Math. Artif. Intell. 66(1-4): 257-271 (2012) - [j133]Dov M. Gabbay:
Equational approach to argumentation networks. Argument Comput. 3(2-3): 87-142 (2012) - [j132]Howard Barringer, Dov M. Gabbay, John Woods:
Temporal, numerical and meta-level dynamics in argumentation networks. Argument Comput. 3(2-3): 143-202 (2012) - [j131]Howard Barringer, Dov M. Gabbay, John Woods:
Modal and temporal argumentation networks. Argument Comput. 3(2-3): 203-227 (2012) - [j130]Alexander Bochman
, Dov M. Gabbay:
Sequential Dynamic Logic. J. Log. Lang. Inf. 21(3): 279-298 (2012) - [j129]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): 623-660 (2012) - [c71]Dov M. Gabbay:
What Is Negation as Failure? Logic Programs, Norms and Action 2012: 52-78 - [c70]Dov M. Gabbay:
An Equational Approach to Logic Programming. Correct Reasoning 2012: 279-295 - [c69]Dov M. Gabbay:
Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report. CLIMA 2012: 1-24 - [c68]Dov M. Gabbay, Odinaldo Rodrigues
:
A Numerical Approach to the Merging of Argumentation Networks. CLIMA 2012: 195-212 - [c67]Dov M. Gabbay:
The Equational Approach to CF2 Semantics. COMMA 2012: 141-152 - [c66]Dov M. Gabbay:
Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. DEON 2012: 91-107 - [c65]Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre
:
Discussion Paper: Changing Norms Is Changing Obligation Change. DEON 2012: 199-214 - [e18]Dov M. Gabbay, Akihiro Kanamori, John Woods:
Sets and Extensions in the Twentieth Century. Handbook of the History of Logic 6, Elsevier 2012, ISBN 978-0-444-51621-3 [contents] - [e17]Dov M. Gabbay, Francis Jeffry Pelletier, John Woods:
Logic: A History of its Central Concepts. Handbook of the History of Logic 11, Elsevier 2012, ISBN 978-0-444-52937-4 [contents] - [r9]Dov M. Gabbay, Francis Jeffry Pelletier, John Woods:
Preface. Logic: A History of its Central Concepts 2012 - [i8]Dov M. Gabbay:
The Equational Approach to CF2 Semantics. CoRR abs/1203.0220 (2012) - 2011
- [b14]Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Dov M. Gabbay:
The Functional Interpretation of Logical Deduction. Advances in Logic 5, World Scientific 2011, ISBN 978-981-4360-95-1, pp. 1-300 - [b13]Dov M. Gabbay, Karl Schlechta:
Conditionals and Modularity in General Logics. Cognitive Technologies, Springer 2011, ISBN 978-3-642-19067-4, pp. 1-221 [contents] - [j128]Michael Abraham, Dov M. Gabbay, Uri J. Schild:
Obligations and prohibitions in Talmudic deontic logic. Artif. Intell. Law 19(2-3): 117-148 (2011) - [j127]Maxime Crochemore
, Dov M. Gabbay:
Reactive automata. Inf. Comput. 209(4): 692-704 (2011) - [j126]Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. 42: 917-943 (2011) - [j125]Dov M. Gabbay:
Dung's Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger. Logica Universalis 5(2): 255-318 (2011) - [j124]Dov M. Gabbay:
Reactive intuitionistic tableaux. Synth. 179(2): 253-269 (2011) - [c64]Dov M. Gabbay:
Introducing Equational Semantics for Argumentation Networks. ECSQARU 2011: 19-35 - [c63]Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre
:
Arguing about the Trustworthiness of the Information Sources. ECSQARU 2011: 74-85 - [c62]Michal Chalamish, Dov M. Gabbay, Uri J. Schild:
Intelligent evaluation of evidence using Wigmore diagrams. ICAIL 2011: 61-65 - [c61]Alan Perotti, Guido Boella, Dov M. Gabbay, Leon van der Torre, Serena Villata:
Conditional Labelling for Abstract Argumentation. ICCSW 2011: 59-65 - [c60]Guido Boella, Dov M. Gabbay, Alan Perotti
, Leendert W. N. van der Torre
, Serena Villata:
Argumentative Agents Negotiating on Potential Attacks. KES-AMSTA 2011: 280-290 - [c59]Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert W. N. van der Torre
:
Multi-sorted Argumentation. TAFA 2011: 215-231 - [c58]Guido Boella, Dov M. Gabbay, Alan Perotti
, Leendert W. N. van der Torre
, Serena Villata:
Conditional Labelling for Abstract Argumentation. TAFA 2011: 232-248 - [p9]