Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Dov M. Gabbay
2010 – today
- 2013
[j136]Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre: A socio-cognitive model of trust using argumentation theory. Int. J. Approx. Reasoning 54(4): 541-559 (2013)- [j135]Dov M. Gabbay: Reactive Kripke models and contrary to duty obligations. Part A: Semantics. J. Applied Logic 11(1): 103-136 (2013)
- [j134]Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay: Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. 480: 43-68 (2013)
- [c72]Jan 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
- [j133]Michael Abraham, Dov M. Gabbay, Uri J. Schild: Contrary to time conditionals in Talmudic logic. Artif. Intell. Law 20(2): 145-179 (2012)
- [j132]Dov M. Gabbay: Overview on the connection between reactive Kripke models and argumentation networks. Ann. Math. Artif. Intell. 66(1-4): 1-5 (2012)
- [j131]Dov M. Gabbay: Introducing reactive Kripke semantics and arc accessibility. Ann. Math. Artif. Intell. 66(1-4): 7-53 (2012)
- [j130]
- [j129]Dov M. Gabbay: Completeness theorems for reactive modal logics. Ann. Math. Artif. Intell. 66(1-4): 81-129 (2012)
- [j128]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)
- [j127]Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre: Modelling defeasible and prioritized support in bipolar argumentation. Ann. Math. Artif. Intell. 66(1-4): 163-197 (2012)
- [j126]Serena Villata, Guido Boella, Dov M. Gabbay, Leendert 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)
- [j125]Alexander Bochman, Dov M. Gabbay: Causal dynamic inference. Ann. Math. Artif. Intell. 66(1-4): 231-256 (2012)
- [j124]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)
- [j123]Dov M. Gabbay: Equational approach to argumentation networks. Argument & Computation 3(2-3): 87-142 (2012)
- [j122]Howard Barringer, Dov M. Gabbay, John Woods: Temporal, numerical and meta-level dynamics in argumentation networks. Argument & Computation 3(2-3): 143-202 (2012)
- [j121]Howard Barringer, Dov M. Gabbay, John Woods: Modal and temporal argumentation networks. Argument & Computation 3(2-3): 203-227 (2012)
- [j120]Alexander Bochman, Dov M. Gabbay: Sequential Dynamic Logic. Journal of Logic, Language and Information 21(3): 279-298 (2012)
- [j119]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]. Synthese 187(2): 623-660 (2012)
- [c71]
- [c70]
- [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]
- [c66]Dov M. Gabbay: Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. DEON 2012: 91-107
- [c65]Jan Broersen, Dov M. Gabbay, Leendert van der Torre: Discussion Paper: Changing Norms Is Changing Obligation Change. DEON 2012: 199-214
- [i6]
- 2011
- [b6]Dov M. Gabbay, Karl Schlechta: Conditionals and Modularity in General Logics. Cognitive Technologies, Springer 2011, ISBN 978-3-642-19067-4, pp. 1-221
- [j118]Michael Abraham, Dov M. Gabbay, Uri J. Schild: Obligations and prohibitions in Talmudic deontic logic. Artif. Intell. Law 19(2-3): 117-148 (2011)
- [j117]
- [j116]Dov M. Gabbay, David Pearce, Agustín Valverde: Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. (JAIR) 42: 917-943 (2011)
- [j115]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)
- [j114]
- [c64]
- [c63]Serena Villata, Guido Boella, Dov M. Gabbay, Leendert 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 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 van der Torre: Multi-sorted Argumentation. TAFA 2011: 215-231
- [c58]Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata: Conditional Labelling for Abstract Argumentation. TAFA 2011: 232-248
- [p8]Dov M. Gabbay, John Woods: Logic and the Law: Crossing the Lines of Discipline. Approaches to Legal Rationality 2011: 165-201
- [p7]
- [p6]Dov M. Gabbay, John Woods: The Law of Evidence and Labelled Deduction: A Position Paper. Approaches to Legal Rationality 2011: 295-331
- [e6]Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin (Eds.): Approaches to Legal Rationality. Logic, Epistemology, and the Unity of Science 20, Springer 2011, ISBN 978-90-481-9587-9
- [i5]Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli: Embedding and Automating Conditional Logics in Classical Higher-Order Logic. CoRR abs/1106.3685 (2011)
- [i4]
- 2010
- [b5]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
- [b4]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
- [j113]Dov M. Gabbay, Jörg H. Siekmann: Algorithms in cognition, informatics and logic: A position manifesto. Logic Journal of the IGPL 18(6): 763-768 (2010)
- [j112]Dov M. Gabbay, Karl Schlechta: Semantic interpolation. Journal of Applied Non-Classical Logics 20(4): 345-371 (2010)
- [j111]Dov M. Gabbay, Karl Schlechta: A Theory of Hierarchical Consequence and Conditionals. Journal of Logic, Language and Information 19(1): 3-32 (2010)
- [j110]Dov M. Gabbay, Karl Schlechta: A Comment on Work by Booth and Co-authors. Studia 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 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]
- [i3]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
- [b3]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
- [j109]Dov M. Gabbay, Karl Schlechta: Defeasible inheritance systems and reactive diagrams. Logic Journal of the IGPL 17(1): 1-54 (2009)
- [j108]Howard Barringer, Dov M. Gabbay, David E. Rydeheard: Modelling evolvable component systems: Part I: A logical framework. Logic Journal of the IGPL 17(6): 631-696 (2009)
- [j107]Dov M. Gabbay, Karl Schlechta: Roadmap for preferential logics. Journal of Applied Non-Classical Logics 19(1): 43-95 (2009)
- [j106]Dov M. Gabbay, Odinaldo Rodrigues, Gabriella Pigozzi: Connections between Belief Revision, Belief Merging and Social Choice. J. Log. Comput. 19(3): 445-446 (2009)
- [j105]Michael Abraham, Dov M. Gabbay, Uri J. Schild: Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction. Studia Logica 92(3): 281-364 (2009)
- [j104]Dov M. Gabbay, Andrzej Szalas: Voting by Eliminating Quantifiers. Studia Logica 92(3): 365-379 (2009)
- [j103]Dov M. Gabbay, Karl Schlechta: Independence - Revision and Defaults. Studia Logica 92(3): 381-394 (2009)
- [j102]Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre: Fibred Security Language. Studia Logica 92(3): 395-436 (2009)
- [j101]Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese: A Meta-model of Access Control in a Fibred Security Language. Studia Logica 92(3): 437-477 (2009)
- [j100]Dov M. Gabbay, Leendert van der Torre: Preface for Studia Logica Special Issue (2). Studia Logica 93(2-3): 105-108 (2009)
- [j99]Martin W. A. Caminada, Dov M. Gabbay: A Logical Account of Formal Argumentation. Studia Logica 93(2-3): 109-145 (2009)
- [j98]Dov M. Gabbay, Andrzej Szalas: Annotation Theories over Finite Graphs. Studia Logica 93(2-3): 147-180 (2009)
- [j97]Dov M. Gabbay: Modal Provability Foundations for Argumentation Networks. Studia Logica 93(2-3): 181-198 (2009)
- [j96]Dov M. Gabbay, Artur S. d'Avila Garcez: Logical Modes of Attack in Argumentation Networks. Studia Logica 93(2-3): 199-230 (2009)
- [j95]
- [j94]Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata: Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica 93(2-3): 297-355 (2009)
- [j93]Dov M. Gabbay: Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview. Studia Logica 93(2-3): 357-381 (2009)
- [j92]Yining Wu, Martin Caminada, Dov M. Gabbay: Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. Studia Logica 93(2-3): 383-403 (2009)
- [j91]Dov M. Gabbay, Sérgio Marcelino: Modal Logics of Reactive Frames. Studia Logica 93(2-3): 405-446 (2009)
- [p5]Dov M. Gabbay, John Woods: Fallacies as Cognitive Virtues. Games: Unifying Logic, Language, and Philosophy 2009: 57-98
- 2008
- [j90]Dov M. Gabbay, Amir Pnueli: A Sound and Complete Deductive System for CTL* Verification. Logic Journal of the IGPL 16(6): 499-536 (2008)
- [j89]Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay: Cut-Based Abduction. Logic Journal of the IGPL 16(6): 537-560 (2008)
- [j88]
- [c51]Dov M. Gabbay: Introducing Reactive Kripke Semantics and Arc Accessibility. Pillars of Computer Science 2008: 292-341
- [c50]
- [c49]Davide Grossi, Dov M. Gabbay, Leendert van der Torre: A Normative View on the Blocks World. NORMAS 2008: 128-142
- 2007
- [j87]Dov M. Gabbay, George Metcalfe: Fuzzy logics based on [0, 1)-continuous uninorms. Arch. Math. Log. 46(5-6): 425-449 (2007)
- [j86]Marcelo Finger, Dov M. Gabbay: Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Logic Journal of the IGPL 15(5-6): 553-575 (2007)
- [j85]Dov M. Gabbay, Andrzej Szalas: Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals. Studia Logica 87(1): 37-50 (2007)
- [j84]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]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
- [c47]Howard Barringer, Dov M. Gabbay, David E. Rydeheard: From Runtime Verification to Evolvable Systems. RV 2007: 97-110
- [c46]Howard Barringer, David E. Rydeheard, Dov M. Gabbay: A Logical Framework for Monitoring and Evolving Software Components. TASE 2007: 273-282
- 2006
- [j83]Dov M. Gabbay, John Woods: Advice on Abductive Logic. Logic Journal of the IGPL 14(2): 189-219 (2006)
- [j82]Marcelo Finger, Dov M. Gabbay: Cut and Pay. Journal of Logic, Language and Information 15(3): 195-218 (2006)
- [j81]Dov M. Gabbay, Rolf Nossum, John Woods: Context-dependent Abduction and Relevance. J. Philosophical Logic 35(1): 65-81 (2006)
- [j80]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)
- 2005
- [j79]Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(4): 363 (2005)
- [j78]Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(5): 491 (2005)
- [j77]George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Lukasiewicz Logic: From Proof Systems To Logic Programming. Logic Journal of the IGPL 13(5): 561-585 (2005)
- [j76]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)
- [j75]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)
- [c45]Howard Barringer, Dov M. Gabbay, John Woods: Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. Mechanizing Mathematical Reasoning 2005: 59-98
- [c44]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: A Connectionist Model for Constructive Modal Reasoning. NIPS 2005
- [i2]Daniel Lehmann, Kurt Engesser, Dov M. Gabbay: Algebras of Measurements: the logical structure of Quantum Mechanics. CoRR abs/quant-ph/0507231 (2005)
- 2004
- [j74]George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Calculi for Product Logics. Arch. Math. Log. 43(7): 859-890 (2004)
- [j73]Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay: Applying connectionist modal logics to distributed knowledge representation problems. International Journal on Artificial Intelligence Tools 13(1): 115-139 (2004)
- [j72]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. Applied Logic 2(3): 241-243 (2004)
- [c43]
- [c42]George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Methods for Lukasiewicz Logic. CSL 2004: 85-99
- [c41]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988
- [c40]Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612
- [p4]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
- [e5]Shahid Rahman, John Symons, Dov M. Gabbay, Jean Paul Van Bendegem (Eds.): Logic, Epistemology, and the Unity of Science. Logic, Epistemology, and the Unity of Science 1, Springer 2004, ISBN 978-90-481-2486-2
- 2003
- [j71]Dov M. Gabbay, John Woods: Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches. Logic Journal of the IGPL 11(6): 597-613 (2003)
- [j70]Jon Williamson, Dov M. Gabbay: Special issue on Combining Probability and Logic. J. Applied Logic 1(3-4): 135-138 (2003)
- [j69]
- [j68]Dov M. Gabbay, Gabriella Pigozzi, John Woods: Controlled Revision - An algorithmic approach for belief revision. J. Log. Comput. 13(1): 3-22 (2003)
- [c39]George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Calculli for Gödel-Dummett Logics. CSL 2003: 413-426
- [c38]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 Conference 2003: 271-275
- [c37]Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Intuitionistic Reasoning. HIS 2003: 399-408
- 2002
- [j67]Kurt Engesser, Dov M. Gabbay: Quantum logic, Hilbert space, revision theory. Artif. Intell. 136(1): 61-100 (2002)
- [j66]Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo: Labelled Natural Deduction for Conditional Logics of Normality. Logic Journal of the IGPL 10(2): 123-163 (2002)
- [j65]Dov M. Gabbay, Odinaldo Rodrigues, John Woods: Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. Logic Journal of the IGPL 10(6): 601-652 (2002)
- [j64]Dov M. Gabbay, G. Malod: Naming Worlds in Modal and Temporal Logic. Journal of Logic, Language and Information 11(1): 29-65 (2002)
- [j63]Dov M. Gabbay: A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. J. Philosophical Logic 31(3): 211-243 (2002)
- [j62]Dov M. Gabbay, Valentin B. Shehtman: Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. Studia Logica 72(2): 157-183 (2002)
- [c36]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
- [b2]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
- [j61]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)
- [j60]
- [j59]
- [j58]Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum: Interpolation in Practical Formal Development. Logic Journal of the IGPL 9(2): 231-244 (2001)
- [j57]Dov M. Gabbay, John Woods: More on Non-Cooperation in Dialogue Logic. Logic Journal of the IGPL 9(2): 305-324 (2001)
- [j56]
- [p3]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
- 2000
- [j55]Dov M. Gabbay, Valentin B. Shehtman: Products of modal logics. Part 2: Relativised quantifiers in classical logic. Logic Journal of the IGPL 8(2): 165-210 (2000)
- [j54]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)
- [j53]Stéphane Demri, Dov M. Gabbay: On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. Studia Logica 65(3): 323-353 (2000)
- [j52]Stéphane Demri, Dov M. Gabbay: On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Studia Logica 66(3): 349-384 (2000)
1990 – 1999
- 1999
- [j51]
- [j50]
- [j49]Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. J. Log. Comput. 9(1): 25-45 (1999)
- [c35]
- 1998
- [b1]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
- [j48]Dov M. Gabbay, Valentin B. Shehtman: Products of Modal Logics, Part 1. Logic Journal of the IGPL 6(1): 73-146 (1998)
- [j47]Hans Jürgen Ohlbach, Dov M. Gabbay: Calendar Logic. Journal of Applied Non-Classical Logics 8(4): 291-323 (1998)
- [j46]
- [j45]Dov M. Gabbay, Nicola Olivetti: Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61(2): 237-280 (1998)
- [j44]
- [j43]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]
- 1997
- [j42]Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson: Parsing Natural Language using LDS: A Prototype. Logic Journal of the IGPL 5(5): 647-671 (1997)
- [j41]
- [j40]Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo: Grafting Modalities onto Substructural Implication Systems. Studia Logica 59(1): 65-102 (1997)
- [j39]
- [j38]Dov M. Gabbay, Uwe Reyle: Labelled Resolution for Classical and Non-classical Logics. Studia 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]
- [e4]Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (Eds.): 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
- 1996
- [j37]Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri: A Structural Property on Modal Frames Characterizing Default Logic. Logic Journal of the IGPL 4(1): 7-22 (1996)
- [j36]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. Logic Journal of the IGPL 4(2): 255-272 (1996)
- [j35]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: A Language for Handling Hypothetical Updates and Inconsistency. Logic Journal of the IGPL 4(3): 385-416 (1996)
- [j34]Jochen Dörre, Esther König, Dov M. Gabbay: Fibred Semantics for Feature-Based Grammar Logic. Journal of Logic, Language and Information 5(3/4): 387-422 (1996)
- [j33]Dov M. Gabbay: Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics. J. Symb. Log. 61(4): 1057-1120 (1996)
- [j32]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)
- [j31]Marcelo Finger, Dov M. Gabbay: Combining Temporal Logic Systems. Notre Dame Journal of Formal Logic 37(2): 204-232 (1996)
- [c29]
- [c28]
- [c27]Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay: Language Understanding: A Procedural Perspective. LACL 1996: 228-247
- [c26]Dov M. Gabbay, Heinrich Wansing: What is Negation in a System? Negation in Structured Consequence Relations. Logic, Action, and Information 1996: 328-350
- [c25]Marcello D'Agostino, Dov M. Gabbay: Fibred Tableaux for Multi-Implication Logic. TABLEAUX 1996: 16-35
- [p2]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
- [e3]Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.): 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
- 1995
- [j30]Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: METATEM: An Introduction. Formal Asp. Comput. 7(5): 533-549 (1995)
- [j29]Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz: Editorial. Logic Journal of the IGPL 3(1): 4-6 (1995)
- [j28]Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas: On the Logic of Information Flow. Logic Journal of the IGPL 3(1): 7-50 (1995)
- [j27]Ruy J. G. B. de Queiroz, Dov M. Gabbay: The Functional Interpretation of the Existential Quantifier. Logic Journal of the IGPL 3(2-3): 243-290 (1995)
- [j26]Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz: The Bulletin turned into a Journal. Logic Journal of the IGPL 3(5): 682 (1995)
- [c24]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995: 203-216
- 1994
- [j25]Dov M. Gabbay, Ruy J. G. B. de Queiroz: Speed with Quality. Logic Journal of the IGPL 2(1): 1-2 (1994)
- [j24]Marcello D'Agostino, Dov M. Gabbay: A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. J. Autom. Reasoning 13(2): 243-281 (1994)
- [j23]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)
- [c23]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 (Eds.): Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies. Oxford University Press 1994, ISBN 0-19-853746-8
- [e1]Dov M. Gabbay, Hans Jürgen Ohlbach (Eds.): 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
- 1993
- [j22]
- [j21]Dov M. Gabbay, Uwe Reyle: Computation with run time skolemisation (N-Prolog part 3). Journal of Applied Non-Classical Logics 3(1): 93-128 (1993)
- [j20]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)
- [j19]
- [c22]Dov M. Gabbay, Anthony Hunter: Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency. ECSQARU 1993: 129-136
- [c21]Dov M. Gabbay, Anthony Hunter: Restricted Access Logics for Inconsistent Information. ECSQARU 1993: 137-144
- [c20]Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh: Inconsistency Handling in Multi-Perspective Specifications. ESEC 1993: 84-99
- [c19]Rolf Nossum, Dov M. Gabbay: Semantical Correspondence Properties of Some Modal Systems of Logic. SCAI 1993: 10-19
- 1992
- [j18]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)
- [j17]
- [c18]Dov M. Gabbay, Hans Jürgen Ohlbach: From A Hilbert Calculus to its Model Theoretic Semantics. ALPUK 1992: 218-252
- [c17]Marcelo Finger, Dov M. Gabbay: Updating Atomic Information in Labelled Database Systems. ICDT 1992: 188-200
- [c16]
- [c15]Dov M. Gabbay, Hans Jürgen Ohlbach: Quantifier Elimination in Second-Order Predicate Logic. KR 1992: 425-435
- 1991
- [j16]Dov M. Gabbay, Frank Kriwaczek: A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. J. Autom. Reasoning 7(4): 511-536 (1991)
- [c14]
- [c13]Dov M. Gabbay, Anthony Hunter: Making inconsistency respectable: a logical framework for inconsistency in reasoning. FAIR 1991: 19-32
- [c12]Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter: Meta-Reasoning in Executable Temporal Logic. KR 1991: 40-49
- [c11]Dov M. Gabbay, Els Laenens, Dirk Vermeir: Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR 1991: 208-217
- [c10]Dov M. Gabbay: Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. SCAI 1991: 19-39
- [c9]
- 1990
- [j15]
- [j14]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)
- [c8]
1980 – 1989
- 1989
- [c7]Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter: Using the Temporal Logic RDL for Design Specifications. Concurrency: Theory, Language, And Architecture 1989: 64-78
- [c6]
- [c5]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
- [c4]Howard Barringer, Dov M. Gabbay: Executing Temporal Logic: Review and Prospects (Abstract). Concurrency 1988: 104-105
- 1987
- [j13]Amihood Amir, Dov M. Gabbay: Preservation of Expressive Completeness in Temporal Models. Inf. Comput. 72(1): 66-83 (1987)
- [c3]Dov M. Gabbay: The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. Temporal Logic in Specification 1987: 409-448
- 1986
- [j12]
- 1985
- [j11]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
- [j10]Dov M. Gabbay, Uwe Reyle: N-Prolog: An Extension of Prolog with Hypothetical Implications I. J. Log. Program. 1(4): 319-355 (1984)
- 1982
- [c2]
- 1980
- [c1]Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi: On the Temporal Basis of Fairness. POPL 1980: 163-173
1970 – 1979
- 1977
- [j9]Dov M. Gabbay: Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III. J. Symb. Log. 42(2): 269-271 (1977)
- [j8]Dov M. Gabbay: A New Version of Beth Semantics for Intuitionistic Logic. J. Symb. Log. 42(2): 306-308 (1977)
- 1976
- [j7]Dov M. Gabbay: Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models. J. Symb. Log. 41(1): 81-94 (1976)
- 1974
- [j6]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
- [j5]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
- [j4]
- [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]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:56 CEST by the dblp team