default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDov 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
- 2025
[j190]Ringo Baumann
, Matti Berthold, Dov M. Gabbay, Odinaldo Rodrigues:
Forgetting in Abstract Argumentation: Limits and Possibilities. J. Artif. Intell. Res. 82 (2025)- 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]Dov M. Gabbay, John Woods:
Logic and the Law: Crossing the Lines of Discipline. Approaches to Legal Rationality 2011: 165-201 - [p8]Dov M. Gabbay, John Woods:
Relevance in the Law. Approaches to Legal Rationality 2011: 239-261 - [p7]Dov M. Gabbay, John Woods:
The Law of Evidence and Labelled Deduction: A Position Paper. Approaches to Legal Rationality 2011: 295-331 - [e16]Dov M. Gabbay, Stephan Hartmann, John Woods:
Inductive Logic. Handbook of the History of Logic 10, Elsevier 2011, ISBN 978-0-444-52936-7 [contents] - [e15]Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin:
Approaches to Legal Rationality. Logic, Epistemology, and the Unity of Science 20, Springer 2011, ISBN 978-90-481-9587-9 [contents] - [i7]Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli:
Embedding and Automating Conditional Logics in Classical Higher-Order Logic. CoRR abs/1106.3685 (2011) - [i6]Dov M. Gabbay, Karl Schlechta:
Equilibria und weiteres Heiteres II. CoRR abs/1108.3033 (2011) - 2010
- [b12]Dov M. Gabbay, Karl Schlechta:
Logical Tools for Handling Change in Agent-Based Systems. Cognitive Technologies, Springer 2010, ISBN 978-3-642-04406-9, pp. I-X, 1-305 [contents] - [b11]Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo:
Revision, Acceptability and Context - Theoretical and Algorithmic Aspects. Cognitive Technologies, Springer 2010, ISBN 978-3-642-14158-4, pp. I-X, 1-385 [contents] - [j123]Dov M. Gabbay, Jörg H. Siekmann:
Algorithms in cognition, informatics and logic: A position manifesto. Log. J. IGPL 18(6): 763-768 (2010) - [j122]Dov M. Gabbay, Karl Schlechta:
Semantic interpolation. J. Appl. Non Class. Logics 20(4): 345-371 (2010) - [j121]Dov M. Gabbay, Karl Schlechta:
A Theory of Hierarchical Consequence and Conditionals. J. Log. Lang. Inf. 19(1): 3-32 (2010) - [j120]Dov M. Gabbay, Karl Schlechta:
A Comment on Work by Booth and Co-authors. Stud Logica 94(3): 403-432 (2010) - [c57]Howard Barringer, Dov M. Gabbay:
Modal and Temporal Argumentation Networks. Essays in Memory of Amir Pnueli 2010: 1-25 - [c56]Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata:
Support in Abstract Argumentation. COMMA 2010: 111-122 - [c55]Michael Abraham, Dov M. Gabbay, Uri J. Schild:
Obligations and Prohibitions in Talmudic Deontic Logic. DEON 2010: 166-178 - [c54]Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre:
Higher-Order Coalition Logic. ECAI 2010: 555-560 - [c53]Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre:
Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. STAIRS 2010: 114-126 - [c52]Maxime Crochemore, Dov M. Gabbay:
Reactive Links to Save Automata States. Stringology 2010: 1-8 - [i5]Dov M. Gabbay, David Pearce, Agustín Valverde:
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case. CoRR abs/1012.3947 (2010)
2000 – 2009
- 2009
- [b10]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
Neural-Symbolic Cognitive Reasoning. Cognitive Technologies, Springer 2009, ISBN 978-3-540-73245-7 [contents] - [j119]Dov M. Gabbay, Karl Schlechta:
Defeasible inheritance systems and reactive diagrams. Log. J. IGPL 17(1): 1-54 (2009) - [j118]Howard Barringer, Dov M. Gabbay, David E. Rydeheard:
Modelling evolvable component systems: Part I: A logical framework. Log. J. IGPL 17(6): 631-696 (2009) - [j117]Dov M. Gabbay, Karl Schlechta:
Roadmap for preferential logics. J. Appl. Non Class. Logics 19(1): 43-95 (2009) - [j116]Dov M. Gabbay, Odinaldo Rodrigues, Gabriella Pigozzi:
Connections between Belief Revision, Belief Merging and Social Choice. J. Log. Comput. 19(3): 445-446 (2009) - [j115]Dov M. Gabbay, Karl Schlechta:
Size and Logic. Rev. Symb. Log. 2(2): 396-413 (2009) - [j114]Dov M. Gabbay, Karl Schlechta:
Reactive Preferential Structures and Nonmonotonic Consequence. Rev. Symb. Log. 2(2): 414-450 (2009) - [j113]Michael Abraham, Dov M. Gabbay, Uri J. Schild:
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction. Stud Logica 92(3): 281-364 (2009) - [j112]Dov M. Gabbay, Andrzej Szalas:
Voting by Eliminating Quantifiers. Stud Logica 92(3): 365-379 (2009) - [j111]Dov M. Gabbay, Karl Schlechta:
Independence - Revision and Defaults. Stud Logica 92(3): 381-394 (2009) - [j110]Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre:
Fibred Security Language. Stud Logica 92(3): 395-436 (2009) - [j109]Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese:
A Meta-model of Access Control in a Fibred Security Language. Stud Logica 92(3): 437-477 (2009) - [j108]Dov M. Gabbay, Leendert W. N. van der Torre:
Preface for Studia Logica Special Issue (2). Stud Logica 93(2-3): 105-108 (2009) - [j107]Martin W. A. Caminada, Dov M. Gabbay:
A Logical Account of Formal Argumentation. Stud Logica 93(2-3): 109-145 (2009) - [j106]Dov M. Gabbay, Andrzej Szalas:
Annotation Theories over Finite Graphs. Stud Logica 93(2-3): 147-180 (2009) - [j105]Dov M. Gabbay:
Modal Provability Foundations for Argumentation Networks. Stud Logica 93(2-3): 181-198 (2009) - [j104]Dov M. Gabbay, Artur S. d'Avila Garcez:
Logical Modes of Attack in Argumentation Networks. Stud Logica 93(2-3): 199-230 (2009) - [j103]Dov M. Gabbay:
Fibring Argumentation Frames. Stud Logica 93(2-3): 231-295 (2009) - [j102]Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata:
Meta-Argumentation Modelling I: Methodology and Techniques. Stud Logica 93(2-3): 297-355 (2009) - [j101]Dov M. Gabbay:
Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview. Stud Logica 93(2-3): 357-381 (2009) - [j100]Yining Wu, Martin Caminada, Dov M. Gabbay:
Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. Stud Logica 93(2-3): 383-403 (2009) - [j99]Dov M. Gabbay, Sérgio Marcelino:
Modal Logics of Reactive Frames. Stud Logica 93(2-3): 405-446 (2009) - [p6]Dov M. Gabbay, John Woods:
Fallacies as Cognitive Virtues. Games: Unifying Logic, Language, and Philosophy 2009: 57-98 - [e14]Dov M. Gabbay, John Woods:
Logic from Russell to Church. Handbook of the History of Logic 5, Elsevier 2009, ISBN 978-0-444-51620-6 [contents] - [r8]Dov M. Gabbay, John Woods:
Preface. Logic from Russell to Church 2009 - [i4]Valerio Genovese, Dov M. Gabbay, Guido Boella, Leendert W. N. van der Torre:
FSL - Fibred Security Language. Normative Multi-Agent Systems 2009 - 2008
- [b9]Dov M. Gabbay, Renate A. Schmidt, Andrzej Szalas:
Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications. Studies in logic : Mathematical logic and foundations 12, College Publications 2008, ISBN 978-1-904987-56-7, pp. I-VIII, 1-308 - [j98]Dov M. Gabbay, Amir Pnueli:
A Sound and Complete Deductive System for CTL* Verification. Log. J. IGPL 16(6): 499-536 (2008) - [j97]Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay:
Cut-Based Abduction. Log. J. IGPL 16(6): 537-560 (2008) - [j96]Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo:
Belief Revision in non-Classical Logics. Rev. Symb. Log. 1(3): 267-304 (2008) - [j95]Dov M. Gabbay, Karl Schlechta:
Cumulativity without Closure of the Domain under Finite Unions. Rev. Symb. Log. 1(3): 372-392 (2008) - [j94]Dov M. Gabbay, John Woods:
Resource-origins of Nonmonotonicity. Stud Logica 88(1): 85-112 (2008) - [c51]Dov M. Gabbay:
Introducing Reactive Kripke Semantics and Arc Accessibility. Pillars of Computer Science 2008: 292-341 - [c50]Dov M. Gabbay:
Reactive Kripke Models and Contrary to Duty Obligations. DEON 2008: 155-173 - [c49]Davide Grossi, Dov M. Gabbay, Leendert W. N. van der Torre:
A Normative View on the Blocks World. NORMAS 2008: 128-142 - [e13]Dov M. Gabbay, John Woods:
Mediaeval and Renaissance Logic. Handbook of the History of Logic 2, Elsevier 2008, ISBN 978-0-444-51625-1 [contents] - [e12]Dov M. Gabbay, John Woods:
British Logic in the Nineteenth Century. Handbook of the History of Logic 4, Elsevier 2008, ISBN 978-0-444-51610-7 [contents] - [r7]Dov M. Gabbay, John Woods:
Preface. British Logic in the Nineteenth Century 2008 - [r6]Dov M. Gabbay, John Woods:
Preface. Mediaeval and Renaissance Logic 2008 - 2007
- [j93]Dov M. Gabbay, George Metcalfe:
Fuzzy logics based on [0, 1)-continuous uninorms. Arch. Math. Log. 46(5-6): 425-449 (2007) - [j92]Marcelo Finger, Dov M. Gabbay:
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Log. J. IGPL 15(5-6): 553-575 (2007) - [j91]Dov M. Gabbay, Andrzej Szalas:
Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals. Stud Logica 87(1): 37-50 (2007) - [j90]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
Connectionist modal logic: Representing modalities in neural networks. Theor. Comput. Sci. 371(1-2): 34-53 (2007) - [c48]Howard Barringer, Dov M. Gabbay, David E. Rydeheard:
From Runtime Verification to Evolvable Systems. RV 2007: 97-110 - [c47]Howard Barringer, David E. Rydeheard, Dov M. Gabbay:
A Logical Framework for Monitoring and Evolving Software Components. TASE 2007: 273-282 - [e11]Dov M. Gabbay, John Woods:
The Many Valued and Nonmonotonic Turn in Logic. Handbook of the History of Logic 8, Elsevier 2007, ISBN 978-0-444-51623-7 [contents] - [r5]Dov M. Gabbay, John Woods:
Preface. The Many Valued and Nonmonotonic Turn in Logic 2007 - [i3]Dov M. Gabbay, Gabriella Pigozzi, Odinaldo Rodrigues:
Common Foundations for belief revision, belief merging and voting. Formal Models of Belief Change in Rational Agents 2007 - 2006
- [j89]Dov M. Gabbay, John Woods:
Advice on Abductive Logic. Log. J. IGPL 14(2): 189-219 (2006) - [j88]Marcelo Finger, Dov M. Gabbay:
Cut and Pay. J. Log. Lang. Inf. 15(3): 195-218 (2006) - [j87]Dov M. Gabbay, Rolf Nossum, John Woods:
Context-dependent Abduction and Relevance. J. Philos. Log. 35(1): 65-81 (2006) - [j86]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
Connectionist computations of intuitionistic reasoning. Theor. Comput. Sci. 358(1): 34-55 (2006) - [e10]Dov M. Gabbay, John Woods:
Logic and the Modalities in the Twentieth Century. Handbook of the History of Logic 7, Elsevier 2006, ISBN 978-0-444-51622-0 [contents] - [r4]Dov M. Gabbay, John Woods:
Preface. Logic and the Modalities in the Twentieth Century 2006 - 2005
- [j85]Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek:
Editorial. Log. J. IGPL 13(4): 363 (2005) - [j84]Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek:
Editorial. Log. J. IGPL 13(5): 491 (2005) - [j83]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Lukasiewicz Logic: From Proof Systems To Logic Programming. Log. J. IGPL 13(5): 561-585 (2005) - [j82]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. J. Log. Comput. 15(6): 1041-1058 (2005) - [j81]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ACM Trans. Comput. Log. 6(3): 578-613 (2005) - [c46]Howard Barringer, Dov M. Gabbay, John Woods:
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. Mechanizing Mathematical Reasoning 2005: 59-98 - [c45]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
A Connectionist Model for Constructive Modal Reasoning. NIPS 2005: 403-410 - [e9]Michael Fisher, Dov M. Gabbay, Lluís Vila:
Handbook of Temporal Reasoning in Artificial Intelligence. Foundations of Artificial Intelligence 1, Elsevier 2005, ISBN 978-0-444-51493-6 [contents] - [r3]Howard Barringer, Dov M. Gabbay:
Modal Varieties of Temporal Logic. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 119-165 - [i2]Daniel Lehmann, Kurt Engesser, Dov M. Gabbay:
Algebras of Measurements: the logical structure of Quantum Mechanics. CoRR abs/quant-ph/0507231 (2005) - 2004
- [j80]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Analytic Calculi for Product Logics. Arch. Math. Log. 43(7): 859-890 (2004) - [j79]Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay:
Applying connectionist modal logics to distributed knowledge representation problems. Int. J. Artif. Intell. Tools 13(1): 115-139 (2004) - [j78]Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor:
Journal of Applied Logic Special Volume on Neural-Symbolic Systems. J. Appl. Log. 2(3): 241-243 (2004) - [c44]Artur S. d'Avila Garcez, Dov M. Gabbay:
Fibring Neural Networks. AAAI 2004: 342-347 - [c43]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Goal-Directed Methods for Lukasiewicz Logic. CSL 2004: 85-99 - [c42]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988 - [c41]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
Argumentation Neural Networks. ICONIP 2004: 606-612 - [p5]Dov M. Gabbay, Odinaldo Rodrigues, John Woods:
Belief Contraction, Anti-Formulae and Resource Overdraft: Part II Deletion In Resource Unbounded Logics. Logic, Epistemology, and the Unity of Science 2004: 291-326 - [e8]Dov M. Gabbay, John Woods:
Greek, Indian and Arabic Logic. Handbook of the History of Logic 1, Elsevier 2004, ISBN 978-0-444-50466-1 [contents] - [e7]Dov M. Gabbay, John Woods:
The Rise of Modern Logic: From Leibniz to Frege. Handbook of the History of Logic 3, Elsevier 2004, ISBN 978-0-444-51611-4 [contents] - [e6]Shahid Rahman, John Symons, Dov M. Gabbay, Jean Paul Van Bendegem:
Logic, Epistemology, and the Unity of Science. Logic, Epistemology, and the Unity of Science 1, Springer 2004, ISBN 978-90-481-2486-2 [contents] - [r2]Dov M. Gabbay, John Woods:
Preface. The Rise of Modern Logic: From Leibniz to Frege 2004 - 2003
- [j77]Dov M. Gabbay, John Woods:
Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches. Log. J. IGPL 11(6): 597-613 (2003) - [j76]Jon Williamson, Dov M. Gabbay:
Special issue on Combining Probability and Logic. J. Appl. Log. 1(3-4): 135-138 (2003) - [j75]Dov M. Gabbay:
Editorial. J. Log. Comput. 13(1): 1 (2003) - [j74]Dov M. Gabbay, Gabriella Pigozzi, John Woods:
Controlled Revision - An algorithmic approach for belief revision. J. Log. Comput. 13(1): 3-22 (2003) - [c40]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Goal-Directed Calculli for Gödel-Dummett Logics. CSL 2003: 413-426 - [c39]Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay:
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. FLAIRS 2003: 271-275 - [c38]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay:
Neural-Symbolic Intuitionistic Reasoning. HIS 2003: 399-408 - 2002
- [b8]Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay:
Neural-symbolic learning systems - foundations and applications. Perspectives in neural computing, Springer 2002, ISBN 978-1-85233-512-0, pp. I-XIII, 1-271 - [j73]Kurt Engesser, Dov M. Gabbay:
Quantum logic, Hilbert space, revision theory. Artif. Intell. 136(1): 61-100 (2002) - [j72]Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo:
Labelled Natural Deduction for Conditional Logics of Normality. Log. J. IGPL 10(2): 123-163 (2002) - [j71]Dov M. Gabbay, Odinaldo Rodrigues, John Woods:
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. Log. J. IGPL 10(6): 601-652 (2002) - [j70]Dov M. Gabbay, Guillaume Malod:
Naming Worlds in Modal and Temporal Logic. J. Log. Lang. Inf. 11(1): 29-65 (2002) - [j69]Dov M. Gabbay:
A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. J. Philos. Log. 31(3): 211-243 (2002) - [j68]Dov M. Gabbay, Valentin B. Shehtman:
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. Stud Logica 72(2): 157-183 (2002) - [c37]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX 2002: 191-205 - [i1]George Metcalfe, Nicola Olivetti, Dov M. Gabbay:
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics. CoRR cs.LO/0211021 (2002) - 2001
- [b7]Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay:
Dynamic syntax - the flow of language understanding. Blackwell 2001, ISBN 978-0-631-17613-8, pp. I-XII, 1-348 - [j67]Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay:
Symbolic knowledge extraction from trained neural networks: A sound approach. Artif. Intell. 125(1-2): 155-207 (2001) - [j66]Jim Cunningham, Dov M. Gabbay:
Editorial. Log. J. IGPL 9(2): 139-140 (2001) - [j65]Dov M. Gabbay, John Woods:
The New Logic. Log. J. IGPL 9(2): 141-174 (2001) - [j64]Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum:
Interpolation in Practical Formal Development. Log. J. IGPL 9(2): 231-244 (2001) - [j63]Dov M. Gabbay, John Woods:
More on Non-Cooperation in Dialogue Logic. Log. J. IGPL 9(2): 305-324 (2001) - [j62]Dov M. Gabbay:
Editorial. J. Log. Comput. 11(1): 1 (2001) - [j61]Dov M. Gabbay, John Woods:
Non-Cooperation In Dialogue Logic. Synth. 127(1-2): 161-186 (2001) - [p4]Hans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke, Dov M. Gabbay:
Encoding Two-Valued Nonclassical Logics in Classical Logic. Handbook of Automated Reasoning 2001: 1403-1486 - [r1]Dov M. Gabbay, John Woods:
Preface. Greek, Indian and Arabic Logic 2001 - 2000
- [b6]Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum:
Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods. Clarendon Press 2000, ISBN 0198537816, pp. I-XVIII, 1-537 - [j60]Dov M. Gabbay, Valentin B. Shehtman:
Products of modal logics. Part 2: Relativised quantifiers in classical logic. Log. J. IGPL 8(2): 165-210 (2000) - [j59]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino:
Conditional reasoning in logic programming. J. Log. Program. 44(1-3): 37-74 (2000) - [j58]Stéphane Demri, Dov M. Gabbay:
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. Stud Logica 65(3): 323-353 (2000) - [j57]Stéphane Demri, Dov M. Gabbay:
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Stud Logica 66(3): 349-384 (2000) - [c36]Dov M. Gabbay:
Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures. ARW 2000
1990 – 1999
- 1999
- [j56]Dov M. Gabbay:
Editorial. Log. J. IGPL 7(3): 276 (1999) - [j55]Dov M. Gabbay:
What's on My Mind... J. Log. Comput. 9(1): 3-6 (1999) - [j54]Dov M. Gabbay, Rolf Nossum, Michael Thielscher:
Agents in Proactive Environments. J. Log. Comput. 9(1): 25-45 (1999) - [c35]Krysia Broda, Dov M. Gabbay:
CLDS for Propositional Intuitionistic Logic. TABLEAUX 1999: 66-81 - 1998
- [b5]Dov M. Gabbay:
Elementary logics - a procedural perspective. Prentice Hall series in computer science, Prentice Hall 1998, ISBN 978-0-13-726365-3, pp. I-XIV, 1-365 - [j53]Dov M. Gabbay, Valentin B. Shehtman:
Products of Modal Logics, Part 1. Log. J. IGPL 6(1): 73-146 (1998) - [j52]Hans Jürgen Ohlbach, Dov M. Gabbay:
Calendar Logic. J. Appl. Non Class. Logics 8(4): 291-323 (1998) - [j51]Dov M. Gabbay:
Editorial. J. Log. Comput. 8(1): 3 (1998) - [j50]Dov M. Gabbay, Nicola Olivetti:
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Stud Logica 61(2): 237-280 (1998) - [j49]Dov M. Gabbay:
Soft computing, labelling and granulation. Soft Comput. 2(1): 12-13 (1998) - [j48]Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti:
Cut-free proof systems for logics of weak excluded middle. Soft Comput. 2(4): 147-156 (1998) - [c34]Dov M. Gabbay:
Dznamics of Practical Reasoning: A Position Paper. Advances in Modal Logic 1998: 179-224 - [c33]Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt:
WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. Intelligent Tutoring Systems 1998: 605 - [c32]Bernhard Beckert, Dov M. Gabbay:
Fibring Semantic Tableaux. TABLEAUX 1998: 77-92 - [e5]Dov M. Gabbay, Maarten de Rijke:
Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings. Research Studies Press/Wiley 1998 [contents] - 1997
- [j47]Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson:
Parsing Natural Language using LDS: A Prototype. Log. J. IGPL 5(5): 647-671 (1997) - [j46]Dov M. Gabbay, Fiora Pirri:
Combining Logic I - Introduction. Stud Logica 59(1): 1-4 (1997) - [j45]Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo:
Grafting Modalities onto Substructural Implication Systems. Stud Logica 59(1): 65-102 (1997) - [j44]Dov M. Gabbay, Fiora Pirri:
Combining Logic II - Introduction. Stud Logica 59(1): 147-148 (1997) - [j43]Dov M. Gabbay, Uwe Reyle:
Labelled Resolution for Classical and Non-classical Logics. Stud Logica 59(1): 179-216 (1997) - [c31]Dov M. Gabbay, Odinaldo Rodrigues:
Structured Belief Bases: A Practical Approach to Prioritised Base Revision. ECSQARU-FAPR 1997: 267-281 - [c30]Dov M. Gabbay, Rolf Nossum, Michael Thielscher:
Agents in Proactive Environments. KI 1997: 389-392 - [e4]Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach:
Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1244, Springer 1997, ISBN 3-540-63095-3 [contents] - 1996
- [j42]Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri:
A Structural Property on Modal Frames Characterizing Default Logic. Log. J. IGPL 4(1): 7-22 (1996) - [j41]Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher:
Languages, Meta-languages and METATEM, A Discussion Paper. Log. J. IGPL 4(2): 255-272 (1996) - [j40]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
A Language for Handling Hypothetical Updates and Inconsistency. Log. J. IGPL 4(3): 385-416 (1996) - [j39]Jochen Dörre, Esther König, Dov M. Gabbay:
Fibred Semantics for Feature-Based Grammar Logic. J. Log. Lang. Inf. 5(3/4): 387-422 (1996) - [j38]Dov M. Gabbay:
Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics. J. Symb. Log. 61(4): 1057-1120 (1996) - [j37]Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri:
A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. J. Log. Comput. 6(2): 205-231 (1996) - [j36]Marcelo Finger, Dov M. Gabbay:
Combining Temporal Logic Systems. Notre Dame J. Formal Log. 37(2): 204-232 (1996) - [c29]Dov M. Gabbay, Odinaldo Rodrigues:
A Methodology for Iterated Theory Change. FAPR 1996: 193-207 - [c28]Dov M. Gabbay:
An Overview of Fibred Semantics and the Combination of Logics. FroCoS 1996: 1-55 - [c27]Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay:
Language Understanding: A Procedural Perspective. LACL 1996: 228-247 - [c26]Marcello D'Agostino, Dov M. Gabbay:
Fibred Tableaux for Multi-Implication Logic. TABLEAUX 1996: 16-35 - [p3]Philippe Besnard, Luis Fariñas del Cerro, Dov M. Gabbay, Anthony Hunter:
Logical Handling of Inconsistent and Default Information. Uncertainty Management in Information Systems 1996: 325-342 - [p2]Dov M. Gabbay, Heinrich Wansing:
What is Negation in a System? Negation in Structured Consequence Relations. Logic, Action, and Information 1996: 328-350 - [e3]Dov M. Gabbay, Hans Jürgen Ohlbach:
Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings. Lecture Notes in Computer Science 1085, Springer 1996, ISBN 3-540-61313-7 [contents] - 1995
- [b4]Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum:
Handbook of logic in computer science. Volume 4. Semantic modelling. Clarendon Press 1995, ISBN 0198537808, pp. I-XIII, 1-651 - [j35]Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens:
METATEM: An Introduction. Formal Aspects Comput. 7(5): 533-549 (1995) - [j34]Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz:
Editorial. Log. J. IGPL 3(1): 4-6 (1995) - [j33]Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas:
On the Logic of Information Flow. Log. J. IGPL 3(1): 7-50 (1995) - [j32]Ruy J. G. B. de Queiroz, Dov M. Gabbay:
The Functional Interpretation of the Existential Quantifier. Log. J. IGPL 3(2-3): 243-290 (1995) - [j31]Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz:
The Bulletin turned into a Journal. Log. J. IGPL 3(5): 682 (1995) - [c25]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995: 203-216 - 1994
- [b3]Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum:
Handbook of logic in computer science. Volume 3. Semantic Structures. Clarendon Press 1994, ISBN 019853762X, pp. I-XIII, 1-490 - [j30]Dov M. Gabbay, Ruy J. G. B. de Queiroz:
Speed with Quality. Log. J. IGPL 2(1): 1-2 (1994) - [j29]Marcello D'Agostino, Dov M. Gabbay:
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. J. Autom. Reason. 13(2): 243-281 (1994) - [j28]Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh:
Inconsistency Handling in Multperspective Specifications. IEEE Trans. Software Eng. 20(8): 569-578 (1994) - [c24]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti:
Conditonal Logic Programming. ICLP 1994: 272-289 - [p1]Dov M. Gabbay:
Classical vs non-classical logics (the universality of classical logic). Handbook of Logic in Artificial Intelligence and Logic Programming (2) 1994: 359-495 - [e2]Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann:
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. Oxford University Press 1994, ISBN 0-19-853746-8 [contents] - [e1]Dov M. Gabbay, Hans Jürgen Ohlbach:
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings. Lecture Notes in Computer Science 827, Springer 1994, ISBN 3-540-58241-X [contents] - 1993
- [j27]Dov M. Gabbay:
Editorial. Log. J. IGPL 1(1): 1-2 (1993) - [j26]Dov M. Gabbay, Uwe Reyle:
Computation with run time skolemisation (N-Prolog part 3). J. Appl. Non Class. Logics 3(1): 93-128 (1993) - [j25]Dov M. Gabbay, Valentin B. Shehtman:
Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. J. Symb. Log. 58(3): 800-823 (1993) - [j24]Dov M. Gabbay:
Editorial. J. Log. Comput. 3(1): 1-2 (1993) - [c23]Dov M. Gabbay, Anthony Hunter:
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency. ECSQARU 1993: 129-136 - [c22]Dov M. Gabbay, Anthony Hunter:
Restricted Access Logics for Inconsistent Information. ECSQARU 1993: 137-144 - [c21]Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh:
Inconsistency Handling in Multi-Perspective Specifications. ESEC 1993: 84-99 - [c20]Rolf Nossum, Dov M. Gabbay:
Semantical Correspondence Properties of Some Modal Systems of Logic. SCAI 1993: 10-19 - 1992
- [b2]Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum:
Handbook of logic in computer science. Volume 2. Background: Computational structures. Clarendon Press 1992, ISBN 0198537611, pp. I-X, 1-571 - [b1]Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum:
Handbook of logic in computer science. Volume 1. Background: Mathematical structures. Clarendon Press 1992, ISBN 0198537352, pp. I-XII, 1-827 - [j23]Marcelo Finger, Dov M. Gabbay:
Adding a temporal dimension to a logic system. J. Log. Lang. Inf. 1(3): 203-233 (1992) - [j22]Dov M. Gabbay, Ruy J. G. B. de Queiroz:
Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. J. Symb. Log. 57(4): 1319-1365 (1992) - [j21]Dov M. Gabbay:
Logic Made Reasonable. Künstliche Intell. 6(3): 39-41 (1992) - [c19]Dov M. Gabbay, Hans Jürgen Ohlbach:
From A Hilbert Calculus to its Model Theoretic Semantics. ALPUK 1992: 218-252 - [c18]Marcelo Finger, Dov M. Gabbay:
Updating Atomic Information in Labelled Database Systems. ICDT 1992: 188-200 - [c17]Dov M. Gabbay:
How to Construct a Logic for Your Application. GWAI 1992: 1-29 - [c16]Dov M. Gabbay, Hans Jürgen Ohlbach:
Quantifier Elimination in Second-Order Predicate Logic. KR 1992: 425-435 - 1991
- [j20]Dov M. Gabbay, Frank Kriwaczek:
A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. J. Autom. Reason. 7(4): 511-536 (1991) - [c15]Dov M. Gabbay:
Abduction in Labelled Deductive Systems - A Conceptual Abstract. ECSQARU 1991: 3-11 - [c14]Dov M. Gabbay, Anthony Hunter:
Making inconsistency respectable: a logical framework for inconsistency in reasoning. FAIR 1991: 19-32 - [c13]Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter:
Meta-Reasoning in Executable Temporal Logic. KR 1991: 40-49 - [c12]Dov M. Gabbay, Els Laenens, Dirk Vermeir:
Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR 1991: 208-217 - [c11]Dov M. Gabbay:
Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. SCAI 1991: 19-39 - [c10]Dov M. Gabbay, Peter McBrien:
Temporal Logic & Historical Databases. VLDB 1991: 423-430 - 1990
- [j19]Dov M. Gabbay:
Editorial. J. Log. Comput. 1(1): 1-4 (1990) - [j18]Dov M. Gabbay, Ian M. Hodkinson:
An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. J. Log. Comput. 1(2): 229-259 (1990) - [c9]Dov M. Gabbay:
Algorithmic Proof with Diminishing Resources, Part 1. CSL 1990: 156-173
1980 – 1989
- 1989
- [c8]Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter:
Using the Temporal Logic RDL for Design Specifications. Concurrency: Theory, Language, And Architecture 1989: 64-78 - [c7]Dov M. Gabbay:
Modal Provability Foundations for Negation by Failure. ELP 1989: 179-222 - [c6]Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens:
METATEM: A Framework for Programming in Temporal Logic. REX Workshop 1989: 94-129 - 1988
- [c5]Howard Barringer, Dov M. Gabbay:
Executing Temporal Logic: Review and Prospects (Abstract). Concurrency 1988: 104-105 - 1987
- [j17]Amihood Amir, Dov M. Gabbay:
Preservation of Expressive Completeness in Temporal Models. Inf. Comput. 72(1): 66-83 (1987) - [c4]Dov M. Gabbay:
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. Temporal Logic in Specification 1987: 409-448 - 1986
- [j16]Dov M. Gabbay, Marek J. Sergot:
Negation as Inconsistency I. J. Log. Program. 3(1): 1-35 (1986) - 1985
- [j15]Dov M. Gabbay:
N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. J. Log. Program. 2(4): 251-283 (1985) - 1984
- [j14]Dov M. Gabbay, Uwe Reyle:
N-Prolog: An Extension of Prolog with Hypothetical Implications I. J. Log. Program. 1(4): 319-355 (1984) - [c3]Dov M. Gabbay:
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems. Logics and Models of Concurrent Systems 1984: 439-457 - 1982
- [c2]Dov M. Gabbay:
Intuitonistic Basis for Non-Monotonic Logic. CADE 1982: 260-273 - 1980
- [c1]Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi:
On the Temporal Analysis of Fairness. POPL 1980: 163-173
1970 – 1979
- 1978
- [j13]Dov M. Gabbay:
What is a Classical Connective? Math. Log. Q. 24(1-6): 37-44 (1978) - 1977
- [j12]Dov M. Gabbay:
Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III. J. Symb. Log. 42(2): 269-271 (1977) - [j11]Dov M. Gabbay:
A New Version of Beth Semantics for Intuitionistic Logic. J. Symb. Log. 42(2): 306-308 (1977) - 1976
- [j10]Dov M. Gabbay:
Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models. J. Symb. Log. 41(1): 81-94 (1976) - 1974
- [j9]Dov M. Gabbay, Dick De Jongh:
A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. J. Symb. Log. 39(1): 67-78 (1974) - 1973
- [j8]Dov M. Gabbay:
Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment. J. Philos. Log. 2(3): 340-351 (1973) - [j7]Dov M. Gabbay:
The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields. J. Symb. Log. 38(1): 86-92 (1973) - 1972
- [j6]Dov M. Gabbay:
A general filtration method for modal logics. J. Philos. Log. 1(1): 29-34 (1972) - [j5]Dov M. Gabbay:
Tense systems with discrete moments of time, part I. J. Philos. Log. 1(1): 35-44 (1972) - [j4]Dov M. Gabbay:
Applications of Trees to Intermediate Logics. J. Symb. Log. 37(1): 135-138 (1972) - [j3]Dov M. Gabbay:
Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications. J. Symb. Log. 37(2): 375-384 (1972) - [j2]Dov M. Gabbay:
Decidability of Some Intuitionistic Predicate Theories. J. Symb. Log. 37(3): 579-587 (1972) - 1970
- [j1]Dov M. Gabbay:
The Decidability of the Kreisel-Putnam System. J. Symb. Log. 35(3): 431-437 (1970)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
