| 2009 |
|---|
| 147 | | Artur S. d'Avila Garcez,
Luís C. Lamb,
Dov M. Gabbay:
Neural-Symbolic Cognitive Reasoning
Springer 2009 |
| 2008 |
|---|
| 146 | EE | Dov M. Gabbay:
Reactive Kripke Models and Contrary to Duty Obligations.
DEON 2008: 155-173 |
| 145 | | Davide Grossi,
Dov M. Gabbay,
Leendert van der Torre:
A Normative View on the Blocks World.
NORMAS 2008: 128-142 |
| 144 | EE | Dov M. Gabbay:
Introducing Reactive Kripke Semantics and Arc Accessibility.
Pillars of Computer Science 2008: 292-341 |
| 143 | EE | Dov M. Gabbay,
John Woods:
Resource-origins of Nonmonotonicity.
Studia Logica 88(1): 85-112 (2008) |
| 2007 |
|---|
| 142 | EE | 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 |
| 141 | EE | Howard Barringer,
Dov M. Gabbay,
David E. Rydeheard:
From Runtime Verification to Evolvable Systems.
RV 2007: 97-110 |
| 140 | EE | Howard Barringer,
David E. Rydeheard,
Dov M. Gabbay:
A Logical Framework for Monitoring and Evolving Software Components.
TASE 2007: 273-282 |
| 139 | EE | Dov M. Gabbay,
George Metcalfe:
Fuzzy logics based on [0, 1)-continuous uninorms.
Arch. Math. Log. 46(5-6): 425-449 (2007) |
| 138 | EE | 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) |
| 137 | EE | 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) |
| 136 | EE | 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) |
| 2006 |
|---|
| 135 | EE | Marcelo Finger,
Dov M. Gabbay:
Cut and Pay.
Journal of Logic, Language and Information 15(3): 195-218 (2006) |
| 134 | EE | Dov M. Gabbay,
John Woods:
Advice on Abductive Logic.
Logic Journal of the IGPL 14(2): 189-219 (2006) |
| 133 | EE | 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 |
|---|
| 132 | EE | Howard Barringer,
Dov M. Gabbay,
John Woods:
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.
Mechanizing Mathematical Reasoning 2005: 59-98 |
| 131 | EE | Artur S. d'Avila Garcez,
Luís C. Lamb,
Dov M. Gabbay:
A Connectionist Model for Constructive Modal Reasoning.
NIPS 2005 |
| 130 | EE | 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) |
| 129 | EE | Daniel Lehmann,
Kurt Engesser,
Dov M. Gabbay:
Algebras of Measurements: the logical structure of Quantum Mechanics
CoRR abs/quant-ph/0507231: (2005) |
| 128 | EE | 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) |
| 127 | EE | Matthias Baaz,
Agata Ciabattoni,
Dov M. Gabbay,
Petr Hájek:
Editorial.
Logic Journal of the IGPL 13(4): 363 (2005) |
| 126 | EE | Matthias Baaz,
Agata Ciabattoni,
Dov M. Gabbay,
Petr Hájek:
Editorial.
Logic Journal of the IGPL 13(5): 491 (2005) |
| 125 | EE | 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) |
| 2004 |
|---|
| 124 | | Artur S. d'Avila Garcez,
Dov M. Gabbay:
Fibring Neural Networks.
AAAI 2004: 342-347 |
| 123 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Goal-Directed Methods for Lukasiewicz Logic.
CSL 2004: 85-99 |
| 122 | | Artur S. d'Avila Garcez,
Dov M. Gabbay,
Luís C. Lamb:
Towards a Connectionist Argumentation Framework.
ECAI 2004: 987-988 |
| 121 | EE | Artur S. d'Avila Garcez,
Dov M. Gabbay,
Luís C. Lamb:
Argumentation Neural Networks.
ICONIP 2004: 606-612 |
| 120 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Analytic Calculi for Product Logics.
Arch. Math. Log. 43(7): 859-890 (2004) |
| 119 | EE | 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) |
| 118 | EE | 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) |
| 2003 |
|---|
| 117 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Goal-Directed Calculli for Gödel-Dummett Logics.
CSL 2003: 413-426 |
| 116 | | 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 |
| 115 | | Artur S. d'Avila Garcez,
Luís C. Lamb,
Dov M. Gabbay:
Neural-Symbolic Intuitionistic Reasoning.
HIS 2003: 399-408 |
| 114 | EE | Jon Williamson,
Dov M. Gabbay:
Special issue on Combining Probability and Logic.
J. Applied Logic 1(3-4): 135-138 (2003) |
| 113 | EE | Dov M. Gabbay:
Editorial.
J. Log. Comput. 13(1): 1 (2003) |
| 112 | EE | Dov M. Gabbay,
Gabriella Pigozzi,
John Woods:
Controlled Revision - An algorithmic approach for belief revision.
J. Log. Comput. 13(1): 3-22 (2003) |
| 111 | EE | 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) |
| 2002 |
|---|
| 110 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Analytic Sequent Calculi for Abelian and ukasiewicz Logics.
TABLEAUX 2002: 191-205 |
| 109 | EE | Kurt Engesser,
Dov M. Gabbay:
Quantum logic, Hilbert space, revision theory.
Artif. Intell. 136(1): 61-100 (2002) |
| 108 | EE | George Metcalfe,
Nicola Olivetti,
Dov M. Gabbay:
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics
CoRR cs.LO/0211021: (2002) |
| 107 | | Dov M. Gabbay,
G. Malod:
Naming Worlds in Modal and Temporal Logic.
Journal of Logic, Language and Information 11(1): 29-65 (2002) |
| 106 | EE | 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) |
| 105 | EE | 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) |
| 104 | | 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) |
| 2001 |
|---|
| 103 | | 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 |
| 102 | EE | 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) |
| 101 | EE | Dov M. Gabbay:
Editorial.
J. Log. Comput. 11(1): 1 (2001) |
| 100 | EE | Jim Cunningham,
Dov M. Gabbay:
Editorial.
Logic Journal of the IGPL 9(2): (2001) |
| 99 | EE | Juan Bicarregui,
Theodosis Dimitrakos,
Dov M. Gabbay,
T. S. E. Maibaum:
Interpolation in Practical Formal Development.
Logic Journal of the IGPL 9(2): (2001) |
| 98 | EE | Dov M. Gabbay,
John Woods:
More on Non-Cooperation in Dialogue Logic.
Logic Journal of the IGPL 9(2): (2001) |
| 97 | EE | Dov M. Gabbay,
John Woods:
The New Logic.
Logic Journal of the IGPL 9(2): (2001) |
| 2000 |
|---|
| 96 | | 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) |
| 95 | EE | Dov M. Gabbay,
Valentin B. Shehtman:
Products of modal logics. Part 2: Relativised quantifiers in classical logic.
Logic Journal of the IGPL 8(2): (2000) |
| 94 | | 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) |
| 93 | | 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) |
| 1999 |
|---|
| 92 | | Krysia Broda,
Dov M. Gabbay:
CLDS for Propositional Intuitionistic Logic.
TABLEAUX 1999: 66-81 |
| 91 | EE | Dov M. Gabbay,
Rolf Nossum,
Michael Thielscher:
Agents in Proactive Environments.
J. Log. Comput. 9(1): 25-45 (1999) |
| 90 | EE | Dov M. Gabbay:
What's on My Mind...
J. Log. Comput. 9(1): 3-6 (1999) |
| 89 | EE | Dov M. Gabbay:
Editorial.
Logic Journal of the IGPL 7(3): 266-276 (1999) |
| 1998 |
|---|
| 88 | | Dov M. Gabbay:
Dznamics of Practical Reasoning: A Position Paper.
Advances in Modal Logic 1998: 179-224 |
| 87 | EE | 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 |
| 86 | EE | Bernhard Beckert,
Dov M. Gabbay:
Fibring Semantic Tableaux.
TABLEAUX 1998: 77-92 |
| 85 | | Dov M. Gabbay:
Editorial.
J. Log. Comput. 8(1): 3 (1998) |
| 84 | | Hans Jürgen Ohlbach,
Dov M. Gabbay:
Calendar Logic.
Journal of Applied Non-Classical Logics 8(4): (1998) |
| 83 | EE | Dov M. Gabbay,
Valentin B. Shehtman:
Products of Modal Logics, Part 1.
Logic Journal of the IGPL 6(1): 73-146 (1998) |
| 82 | EE | Dov M. Gabbay:
Soft computing, labelling and granulation.
Soft Comput. 2(1): 12-13 (1998) |
| 81 | EE | Agata Ciabattoni,
Dov M. Gabbay,
Nicola Olivetti:
Cut-free proof systems for logics of weak excluded middle.
Soft Comput. 2(4): 147-156 (1998) |
| 80 | | 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) |
| 1997 |
|---|
| 79 | | 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
Springer 1997 |
| 78 | | Dov M. Gabbay,
Odinaldo Rodrigues:
Structured Belief Bases: A Practical Approach to Prioritised Base Revision.
ECSQARU-FAPR 1997: 267-281 |
| 77 | | Dov M. Gabbay,
Rolf Nossum,
Michael Thielscher:
Agents in Proactive Environments.
KI 1997: 389-392 |
| 76 | EE | Marcelo Finger,
Rodger Kibble,
Dov M. Gabbay,
Ruth Kempson:
Parsing Natural Language using LDS: A Prototype.
Logic Journal of the IGPL 5(5): (1997) |
| 75 | | Dov M. Gabbay,
Fiora Pirri:
Combining Logic I - Introduction.
Studia Logica 59(1): 1-4 (1997) |
| 74 | | Dov M. Gabbay,
Fiora Pirri:
Combining Logic II - Introduction.
Studia Logica 59(1): 147-148 (1997) |
| 73 | | Dov M. Gabbay,
Uwe Reyle:
Labelled Resolution for Classical and Non-classical Logics.
Studia Logica 59(1): 179-216 (1997) |
| 72 | | Marcello D'Agostino,
Dov M. Gabbay,
Alessandra Russo:
Grafting Modalities onto Substructural Implication Systems.
Studia Logica 59(1): 65-102 (1997) |
| 1996 |
|---|
| 71 | | 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
Springer 1996 |
| 70 | | Dov M. Gabbay,
Odinaldo Rodrigues:
A Methodology for Iterated Theory Change.
FAPR 1996: 193-207 |
| 69 | | Dov M. Gabbay:
An Overview of Fibred Semantics and the Combination of Logics.
Frontiers of Combining Systems (FroCos) 1996: 1-55 |
| 68 | EE | Ruth Kempson,
Wilfried Meyer-Viol,
Dov M. Gabbay:
Language Understanding: A Procedural Perspective.
LACL 1996: 228-247 |
| 67 | | Dov M. Gabbay,
Heinrich Wansing:
What is Negation in a System? Negation in Structured Consequence Relations.
Logic, Action, and Information 1996: 328-350 |
| 66 | | Marcello D'Agostino,
Dov M. Gabbay:
Fibred Tableaux for Multi-Implication Logic.
TABLEAUX 1996: 16-35 |
| 65 | | 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 |
| 64 | | 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) |
| 63 | | Dov M. Gabbay:
Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics.
J. Symb. Log. 61(4): 1057-1120 (1996) |
| 62 | | 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) |
| 61 | EE | 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) |
| 60 | EE | 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) |
| 59 | EE | 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) |
| 58 | | Marcelo Finger,
Dov M. Gabbay:
Combining Temporal Logic Systems.
Notre Dame Journal of Formal Logic 37(2): 204-232 (1996) |
| 1995 |
|---|
| 57 | | Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
Nicola Olivetti:
Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.
LPNMR 1995: 203-216 |
| 56 | | Howard Barringer,
Michael Fisher,
Dov M. Gabbay,
Graham Gough,
Richard Owens:
METATEM: An Introduction.
Formal Asp. Comput. 7(5): 533-549 (1995) |
| 55 | EE | Dov M. Gabbay,
Hans Jürgen Ohlbach,
Ruy J. G. B. de Queiroz:
Editorial.
Logic Journal of the IGPL 3(1): 4-6 (1995) |
| 54 | EE | Jon Barwise,
Dov M. Gabbay,
Chrysafis Hartonas:
On the Logic of Information Flow.
Logic Journal of the IGPL 3(1): 7-50 (1995) |
| 53 | EE | 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) |
| 52 | EE | 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) |
| 1994 |
|---|
| 51 | | 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 |
| 50 | | Dov M. Gabbay,
Hans Jürgen Ohlbach:
Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings
Springer 1994 |
| 49 | | Dov M. Gabbay,
Laura Giordano,
Alberto Martelli,
Nicola Olivetti:
Conditonal Logic Programming.
ICLP 1994: 272-289 |
| 48 | | 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 |
| 47 | EE | 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) |
| 46 | | 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) |
| 45 | EE | Dov M. Gabbay,
Ruy J. G. B. de Queiroz:
Speed with Quality.
Logic Journal of the IGPL 2(1): 1-2 (1994) |
| 1993 |
|---|
| 44 | | Dov M. Gabbay,
Anthony Hunter:
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency.
ECSQARU 1993: 129-136 |
| 43 | | Dov M. Gabbay,
Anthony Hunter:
Restricted Access Logics for Inconsistent Information.
ECSQARU 1993: 137-144 |
| 42 | | Anthony Finkelstein,
Dov M. Gabbay,
Anthony Hunter,
Jeff Kramer,
Bashar Nuseibeh:
Inconsistency Handling in Multi-Perspective Specifications.
ESEC 1993: 84-99 |
| 41 | | Rolf Nossum,
Dov M. Gabbay:
Semantical Correspondence Properties of Some Modal Systems of Logic.
SCAI 1993: 10-19 |
| 40 | | Dov M. Gabbay:
Editorial.
J. Log. Comput. 3(1): 1-2 (1993) |
| 39 | | 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) |
| 38 | | Dov M. Gabbay,
Uwe Reyle:
Computation with run time skolemisation (N-Prolog part 3).
Journal of Applied Non-Classical Logics 3(1): (1993) |
| 37 | EE | Dov M. Gabbay:
Editorial.
Logic Journal of the IGPL 1(1): 1-2 (1993) |
| 1992 |
|---|
| 36 | | Dov M. Gabbay,
Hans Jürgen Ohlbach:
From A Hilbert Calculus to its Model Theoretic Semantics.
ALPUK 1992: 218-252 |
| 35 | | Dov M. Gabbay:
How to Construct a Logic for Your Application.
GWAI 1992: 1-29 |
| 34 | EE | Marcelo Finger,
Dov M. Gabbay:
Updating Atomic Information in Labelled Database Systems.
ICDT 1992: 188-200 |
| 33 | | Dov M. Gabbay,
Hans Jürgen Ohlbach:
Quantifier Elimination in Second-Order Predicate Logic.
KR 1992: 425-435 |
| 32 | | 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) |
| 31 | | Dov M. Gabbay:
Logic Made Reasonable.
KI 6(3): 39-41 (1992) |
| 1991 |
|---|
| 30 | | Dov M. Gabbay:
Abduction in Labelled Deductive Systems - A Conceptual Abstract.
ECSQARU 1991: 3-11 |
| 29 | | Dov M. Gabbay,
Anthony Hunter:
Making inconsistency respectable: a logical framework for inconsistency in reasoning.
FAIR 1991: 19-32 |
| 28 | | Dov M. Gabbay,
Els Laenens,
Dirk Vermeir:
Credulous vs. Sceptical Semantics for Ordered Logic Programs.
KR 1991: 208-217 |
| 27 | | Howard Barringer,
Michael Fisher,
Dov M. Gabbay,
Anthony Hunter:
Meta-Reasoning in Executable Temporal Logic.
KR 1991: 40-49 |
| 26 | | Dov M. Gabbay:
Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories.
SCAI 1991: 19-39 |
| 25 | EE | Dov M. Gabbay,
Peter McBrien:
Temporal Logic & Historical Databases.
VLDB 1991: 423-430 |
| 24 | | 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) |
| 1990 |
|---|
| 23 | | Dov M. Gabbay:
Algorithmic Proof with Diminishing Resources, Part 1.
CSL 1990: 156-173 |
| 22 | | Dov M. Gabbay:
Editorial.
J. Log. Comput. 1(1): 1-4 (1990) |
| 21 | | 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) |
| 1989 |
|---|
| 20 | | Dov M. Gabbay,
Ian M. Hodkinson,
Anthony Hunter:
Using the Temporal Logic RDL for Design Specifications.
Concurrency: Theory, Language, And Architecture 1989: 64-78 |
| 19 | | Dov M. Gabbay:
Modal Provability Foundations for Negation by Failure.
ELP 1989: 179-222 |
| 18 | | 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 |
|---|
| 17 | | Howard Barringer,
Dov M. Gabbay:
Executing Temporal Logic: Review and Prospects (Abstract).
Concurrency 1988: 104-105 |
| 1987 |
|---|
| 16 | | Dov M. Gabbay:
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems.
Temporal Logic in Specification 1987: 409-448 |
| 15 | | Amihood Amir,
Dov M. Gabbay:
Preservation of Expressive Completeness in Temporal Models
Inf. Comput. 72(1): 66-83 (1987) |
| 1986 |
|---|
| 14 | | Dov M. Gabbay,
Marek J. Sergot:
Negation as Inconsistency I.
J. Log. Program. 3(1): 1-35 (1986) |
| 1985 |
|---|
| 13 | | 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 |
|---|
| 12 | | Dov M. Gabbay,
Uwe Reyle:
N-Prolog: An Extension of Prolog with Hypothetical Implications I.
J. Log. Program. 1(4): 319-355 (1984) |
| 1982 |
|---|
| 11 | | Dov M. Gabbay:
Intuitonistic Basis for Non-Monotonic Logic.
CADE 1982: 260-273 |
| 1980 |
|---|
| 10 | | Dov M. Gabbay,
Amir Pnueli,
Saharon Shelah,
Jonathan Stavi:
On the Temporal Basis of Fairness.
POPL 1980: 163-173 |
| 1977 |
|---|
| 9 | | Dov M. Gabbay:
Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III.
J. Symb. Log. 42(2): 269-271 (1977) |
| 8 | | Dov M. Gabbay:
A New Version of Beth Semantics for Intuitionistic Logic.
J. Symb. Log. 42(2): 306-308 (1977) |
| 1976 |
|---|
| 7 | | Dov M. Gabbay:
Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models.
J. Symb. Log. 41(1): 81-94 (1976) |
| 1974 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | | Dov M. Gabbay:
Applications of Trees to Intermediate Logics.
J. Symb. Log. 37(1): 135-138 (1972) |
| 3 | | Dov M. Gabbay:
Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications.
J. Symb. Log. 37(2): 375-384 (1972) |
| 2 | | Dov M. Gabbay:
Decidability of Some Intuitionistic Predicate Theories.
J. Symb. Log. 37(3): 579-587 (1972) |
| 1970 |
|---|
| 1 | | Dov M. Gabbay:
The Decidability of the Kreisel-Putnam System.
J. Symb. Log. 35(3): 431-437 (1970) |
