Dov M. Gabbay

	2012
199		Dov M. Gabbay: What Is Negation as Failure? Logic Programs, Norms and Action 2012: 52-78
198		Dov M. Gabbay: The Equational Approach to CF2 Semantics CoRR abs/1203.0220: (2012)
	2011
197		Dov M. Gabbay, Karl Schlechta: Conditionals and Modularity in General Logics Springer 2011: 1-221
196		Dov M. Gabbay: Introducing Equational Semantics for Argumentation Networks. ECSQARU 2011: 19-35
195		Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre: Arguing about the Trustworthiness of the Information Sources. ECSQARU 2011: 74-85
194		Michal Chalamish, Dov M. Gabbay, Uri J. Schild: Intelligent evaluation of evidence using Wigmore diagrams. ICAIL 2011: 61-65
193		Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata: Argumentative Agents Negotiating on Potential Attacks. KES-AMSTA 2011: 280-290
192		Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert van der Torre: Multi-sorted Argumentation. TAFA 2011: 215-231
191		Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata: Conditional Labelling for Abstract Argumentation. TAFA 2011: 232-248
190		Michael Abraham, Dov M. Gabbay, Uri J. Schild: Obligations and prohibitions in Talmudic deontic logic. Artif. Intell. Law 19(2-3): 117-148 (2011)
189		Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli: Embedding and Automating Conditional Logics in Classical Higher-Order Logic CoRR abs/1106.3685: (2011)
188		Dov M. Gabbay, Karl Schlechta: Equilibria und weiteres Heiteres II CoRR abs/1108.3033: (2011)
187		Maxime Crochemore, Dov M. Gabbay: Reactive automata. Inf. Comput. 209(4): 692-704 (2011)
186		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)
185		Dov M. Gabbay: Reactive intuitionistic tableaux. Synthese 179(2): 253-269 (2011)
	2010
184		Dov M. Gabbay, Karl Schlechta: Logical Tools for Handling Change in Agent-Based Systems. Springer 2010: I-X, 1-305
183		Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo: Revision, Acceptability and Context - Theoretical and Algorithmic Aspects. Springer 2010: I-X, 1-385
182		Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata: Support in Abstract Argumentation. COMMA 2010: 111-122
181		Michael Abraham, Dov M. Gabbay, Uri J. Schild: Obligations and Prohibitions in Talmudic Deontic Logic. DEON 2010: 166-178
180		Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre: Higher-Order Coalition Logic. ECAI 2010: 555-560
179		Howard Barringer, Dov M. Gabbay: Modal and Temporal Argumentation Networks. Essays in Memory of Amir Pnueli 2010: 1-25
178		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
177		Dov M. Gabbay, David Pearce, Agustín Valverde: Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case CoRR abs/1012.3947: (2010)
176		Dov M. Gabbay, Karl Schlechta: Semantic interpolation. Journal of Applied Non-Classical Logics 20(4): 345-371 (2010)
175		Dov M. Gabbay, Karl Schlechta: A Theory of Hierarchical Consequence and Conditionals. Journal of Logic, Language and Information 19(1): 3-32 (2010)
174		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)
173		Dov M. Gabbay, Karl Schlechta: A Comment on Work by Booth and Co-authors. Studia Logica 94(3): 403-432 (2010)
	2009
172		Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Cognitive Reasoning Springer 2009
171		Dov M. Gabbay, Odinaldo Rodrigues, Gabriella Pigozzi: Connections between Belief Revision, Belief Merging and Social Choice. J. Log. Comput. 19(3): 445-446 (2009)
170		Dov M. Gabbay, Karl Schlechta: Roadmap for preferential logics. Journal of Applied Non-Classical Logics 19(1): 43-95 (2009)
169		Dov M. Gabbay, Karl Schlechta: Defeasible inheritance systems and reactive diagrams. Logic Journal of the IGPL 17(1): 1-54 (2009)
168		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)
167		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)
166		Dov M. Gabbay, Andrzej Szalas: Voting by Eliminating Quantifiers. Studia Logica 92(3): 365-379 (2009)
165		Dov M. Gabbay, Karl Schlechta: Independence - Revision and Defaults. Studia Logica 92(3): 381-394 (2009)
164		Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre: Fibred Security Language. Studia Logica 92(3): 395-436 (2009)
163		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)
162		Dov M. Gabbay, Leendert van der Torre: Preface for Studia Logica Special Issue (2). Studia Logica 93(2-3): 105-108 (2009)
161		Martin W. A. Caminada, Dov M. Gabbay: A Logical Account of Formal Argumentation. Studia Logica 93(2-3): 109-145 (2009)
160		Dov M. Gabbay, Andrzej Szalas: Annotation Theories over Finite Graphs. Studia Logica 93(2-3): 147-180 (2009)
159		Dov M. Gabbay: Modal Provability Foundations for Argumentation Networks. Studia Logica 93(2-3): 181-198 (2009)
158		Dov M. Gabbay, Artur S. d'Avila Garcez: Logical Modes of Attack in Argumentation Networks. Studia Logica 93(2-3): 199-230 (2009)
157		Dov M. Gabbay: Fibring Argumentation Frames. Studia Logica 93(2-3): 231-295 (2009)
156		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)
155		Dov M. Gabbay: Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview. Studia Logica 93(2-3): 357-381 (2009)
154		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)
153		Dov M. Gabbay, Sérgio Marcelino: Modal Logics of Reactive Frames. Studia Logica 93(2-3): 405-446 (2009)
	2008
152		Dov M. Gabbay: Reactive Kripke Models and Contrary to Duty Obligations. DEON 2008: 155-173
151		Davide Grossi, Dov M. Gabbay, Leendert van der Torre: A Normative View on the Blocks World. NORMAS 2008: 128-142
150		Dov M. Gabbay: Introducing Reactive Kripke Semantics and Arc Accessibility. Pillars of Computer Science 2008: 292-341
149		Dov M. Gabbay, Amir Pnueli: A Sound and Complete Deductive System for CTL* Verification. Logic Journal of the IGPL 16(6): 499-536 (2008)
148		Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay: Cut-Based Abduction. Logic Journal of the IGPL 16(6): 537-560 (2008)
147		Dov M. Gabbay, John Woods: Resource-origins of Nonmonotonicity. Studia Logica 88(1): 85-112 (2008)
	2007
146		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
145		Howard Barringer, Dov M. Gabbay, David E. Rydeheard: From Runtime Verification to Evolvable Systems. RV 2007: 97-110
144		Howard Barringer, David E. Rydeheard, Dov M. Gabbay: A Logical Framework for Monitoring and Evolving Software Components. TASE 2007: 273-282
143		Dov M. Gabbay, George Metcalfe: Fuzzy logics based on [0, 1)-continuous uninorms. Arch. Math. Log. 46(5-6): 425-449 (2007)
142		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)
141		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)
140		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
139		Dov M. Gabbay, Rolf Nossum, John Woods: Context-dependent Abduction and Relevance. J. Philosophical Logic 35(1): 65-81 (2006)
138		Marcelo Finger, Dov M. Gabbay: Cut and Pay. Journal of Logic, Language and Information 15(3): 195-218 (2006)
137		Dov M. Gabbay, John Woods: Advice on Abductive Logic. Logic Journal of the IGPL 14(2): 189-219 (2006)
136		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
135		Howard Barringer, Dov M. Gabbay, John Woods: Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. Mechanizing Mathematical Reasoning 2005: 59-98
134		Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: A Connectionist Model for Constructive Modal Reasoning. NIPS 2005
133		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)
132		Daniel Lehmann, Kurt Engesser, Dov M. Gabbay: Algebras of Measurements: the logical structure of Quantum Mechanics CoRR abs/quant-ph/0507231: (2005)
131		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)
130		Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(4): 363 (2005)
129		Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek: Editorial. Logic Journal of the IGPL 13(5): 491 (2005)
128		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
127		Artur S. d'Avila Garcez, Dov M. Gabbay: Fibring Neural Networks. AAAI 2004: 342-347
126		George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Methods for Lukasiewicz Logic. CSL 2004: 85-99
125		Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Towards a Connectionist Argumentation Framework. ECAI 2004: 987-988
124		Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb: Argumentation Neural Networks. ICONIP 2004: 606-612
123		George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Calculi for Product Logics. Arch. Math. Log. 43(7): 859-890 (2004)
122		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)
121		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
120		George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Goal-Directed Calculli for Gödel-Dummett Logics. CSL 2003: 413-426
119		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
118		Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay: Neural-Symbolic Intuitionistic Reasoning. HIS 2003: 399-408
117		Jon Williamson, Dov M. Gabbay: Special issue on Combining Probability and Logic. J. Applied Logic 1(3-4): 135-138 (2003)
116		Dov M. Gabbay: Editorial. J. Log. Comput. 13(1): 1 (2003)
115		Dov M. Gabbay, Gabriella Pigozzi, John Woods: Controlled Revision - An algorithmic approach for belief revision. J. Log. Comput. 13(1): 3-22 (2003)
114		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
113		George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX 2002: 191-205
112		Kurt Engesser, Dov M. Gabbay: Quantum logic, Hilbert space, revision theory. Artif. Intell. 136(1): 61-100 (2002)
111		George Metcalfe, Nicola Olivetti, Dov M. Gabbay: Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics CoRR cs.LO/0211021: (2002)
110		Dov M. Gabbay: A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. J. Philosophical Logic 31(3): 211-243 (2002)
109		Dov M. Gabbay, G. Malod: Naming Worlds in Modal and Temporal Logic. Journal of Logic, Language and Information 11(1): 29-65 (2002)
108		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)
107		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)
106		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
105		Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay: Dynamic syntax - the flow of language understanding. Blackwell 2001: I-XII, 1-348
104		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
103		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)
102		Dov M. Gabbay: Editorial. J. Log. Comput. 11(1): 1 (2001)
101		Jim Cunningham, Dov M. Gabbay: Editorial. Logic Journal of the IGPL 9(2): 139-140 (2001)
100		Dov M. Gabbay, John Woods: The New Logic. Logic Journal of the IGPL 9(2): 141-174 (2001)
99		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)
98		Dov M. Gabbay, John Woods: More on Non-Cooperation in Dialogue Logic. Logic Journal of the IGPL 9(2): 305-324 (2001)
	2000
97		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)
96		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)
95		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)
94		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
93		Krysia Broda, Dov M. Gabbay: CLDS for Propositional Intuitionistic Logic. TABLEAUX 1999: 66-81
92		Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. J. Log. Comput. 9(1): 25-45 (1999)
91		Dov M. Gabbay: What's on My Mind... J. Log. Comput. 9(1): 3-6 (1999)
90		Dov M. Gabbay: Editorial. Logic Journal of the IGPL 7(3): 266-276 (1999)
	1998
89		Dov M. Gabbay: Elementary logics - a procedural perspective. Prentice Hall 1998: I-XIV, 1-365
88		Dov M. Gabbay: Dznamics of Practical Reasoning: A Position Paper. Advances in Modal Logic 1998: 179-224
87		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		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		Dov M. Gabbay, Valentin B. Shehtman: Products of Modal Logics, Part 1. Logic Journal of the IGPL 6(1): 73-146 (1998)
82		Dov M. Gabbay: Soft computing, labelling and granulation. Soft Comput. 2(1): 12-13 (1998)
81		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		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)
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		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		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		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		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		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		Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas: On the Logic of Information Flow. Logic Journal of the IGPL 3(1): 7-50 (1995)
53		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		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		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		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		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		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		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)

Coauthor Index

1	Michael Abraham	[167] [181] [190]
2	Luigia Carlucci Aiello (Luigia Aiello)	[61] [64]
3	Gianni Amati (Giambattista Amati)	[61] [64]
4	Amihood Amir	[15]
5	Matthias Baaz	[129] [130]
6	Steve Barker	[163]
7	Howard Barringer	[17] [18] [27] [56] [60] [135] [144] [145] [168] [179]
8	K. Jon Barwise (Jon Barwise)	[54]
9	Bernhard Beckert	[86]
10	Christoph Benzmüller (Christoph Benzmueller)	[189]
11	Philippe Besnard	[65]
12	Juan Bicarregui	[99]
13	Guido Boella	[156] [163] [164] [180] [182] [191] [193] [195]
14	Krysia Broda	[93] [103] [108] [119] [122]
15	Derek Brough	[60]
16	Martin Caminada	[154]
17	Martin W. A. Caminada	[161]
18	Luis Fariñas del Cerro	[65]
19	Michal Chalamish	[194]
20	Agata Ciabattoni	[81] [129] [130]
21	Maxime Crochemore	[187]
22	Jim Cunningham (R. James Cunningham)	[101]
23	Marcello D'Agostino	[46] [66] [72] [87] [148]
24	Stéphane Demri	[94] [95]
25	Theodosis Dimitrakos (Theo Dimitrakos)	[99]
26	Jochen Dörre	[62]
27	Ulrich Endriss (Ulle Endriss)	[87]
28	Kurt Engesser	[112] [132]
29	Marcelo Finger	[34] [58] [76] [138] [142] [148]
30	Anthony Finkelstein	[42] [47]
31	Michael Fisher	[18] [27] [56] [60]
32	Artur S. d'Avila Garcez	[103] [118] [119] [121] [122] [124] [125] [127] [131] [134] [136] [140] [158] [172]
33	Valerio Genovese	[163] [164] [178] [180] [189]
34	Laura Giordano	[49] [57] [59] [97]
35	Graham Gough	[18] [56] [60]
36	Davide Grossi	[151]
37	Petr Hájek	[129] [130]
38	Chrysafis Hartonas	[54]
39	Ian M. Hodkinson	[20] [21] [60]
40	Christopher J. Hogger	[51]
41	Steffen Hölldobler	[121]
42	Anthony Hunter	[20] [27] [29] [42] [43] [44] [47] [60] [65]
43	Dick de Jongh (Dick De Jongh)	[6]
44	Ruth Kempson	[68] [76] [105]
45	Rodger Kibble	[76]
46	Esther König	[62]
47	Jeff Kramer (Jeffrey Kramer)	[42] [47]
48	Frank Kriwaczek	[24]
49	Rudolf Kruse	[79]
50	Els Laenens	[28]
51	Luís C. Lamb (Luís da Cunha Lamb)	[108] [118] [119] [122] [124] [125] [131] [134] [136] [140] [172]
52	Daniel Lehmann	[132]
53	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[99]
54	G. Malod	[109]
55	Sérgio Marcelino	[153]
56	Alberto Martelli	[49] [57] [59] [97]
57	Peter McBrien	[25] [60]
58	George Metcalfe	[111] [113] [120] [123] [126] [128] [133] [143]
59	Wilfried Meyer-Viol	[68] [105]
60	Marco Mondadori	[87]
61	Andreas Nonnengart	[79] [104]
62	Rolf Nossum	[41] [77] [92] [139]
63	Bashar Nuseibeh	[42] [47]
64	Hans Jürgen Ohlbach	[33] [36] [50] [52] [55] [71] [79] [84] [104]
65	Nicola Olivetti	[49] [57] [59] [80] [81] [97] [111] [113] [120] [123] [126] [128] [133]
66	Richard Owens	[18] [56] [60]
67	David Pearce	[177] [186]
68	Alan Perotti	[191] [192] [193]
69	Gabriella Pigozzi	[115] [146] [171]
70	Fiora Pirri	[61] [64] [74] [75]
71	Jeremy V. Pitt (Jeremy Pitt)	[87]
72	Amir Pnueli	[10] [149]
73	Ruy J. G. B. de Queiroz	[32] [45] [52] [53] [55]
74	Uwe Reyle	[12] [38] [73]
75	Mark Reynolds	[60]
76	Tjitze Rienstra	[192]
77	Maarten de Rijke	[104]
78	Daniele Rispoli	[178] [189]
79	J. A. Robinson	[51]
80	Odinaldo Rodrigues	[70] [78] [107] [146] [171] [183]
81	Alessandra Russo	[72] [108] [183]
82	David E. Rydeheard	[144] [145] [168]
83	Maria Luisa Sapino	[97]
84	Uri J. Schild	[167] [181] [190] [194]
85	Karl Schlechta	[165] [169] [170] [173] [175] [176] [184] [188] [197]
86	Marek J. Sergot	[14]
87	Valentin B. Shehtman	[39] [83] [96] [106]
88	Saharon Shelah	[10]
89	Jörg H. Siekmann	[51] [174]
90	Jonathan Stavi	[10]
91	Andrzej Szalas	[141] [160] [166]
92	John G. Taylor	[121]
93	Michael Thielscher	[77] [92]
94	Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)	[151] [156] [162] [164] [178] [180] [182] [191] [192] [193] [195]
95	Agustín Valverde	[177] [186]
96	Dirk Vermeir	[28]
97	Serena Villata	[156] [182] [191] [192] [193] [195]
98	Heinrich Wansing	[67]
99	Jon Williamson	[117]
100	John Woods	[98] [100] [107] [114] [115] [135] [137] [139] [147]
101	Yining Wu	[154]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page