Research outputs
Listing of Research outputs
Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories
Rodrigues, O. T.Gabbay, D. M.Jan 2016Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. Brewka, G., Thimm, M. & Beierle, C. (eds.). College Publications, p. 392408 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Degrees of “in”, “out” and “undecided” in Argumentation Networks
Gabbay, D. M.Rodrigues, O.2016Computational Models of Argument. Baroni, P., Gordon, T. F., Scheffler, T. & Stede, M. (eds.). IOS Press, p. 319326 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Equilibrium states in numerical argumentation networks
Rodrigues, O. T.Gabbay, D. M.Dec 2015In : Logica Universalis.9, 4, p. 411-473
Research output: Contribution to journal › Article
Probabilistic argumentation: An equational approach
Rodrigues, O. T.Gabbay, D. M.2015In : Logica Universalis.
Research output: Contribution to journal › Article
A self-correcting iteration schema for argumentation networks
Rodrigues, O. T.Gabbay, D.2014Computational Models of Argument . Parsons, S., Oren, N., Reed, C. & Cerutti , F. (eds.). IOS Press, Vol. 266, p. 337-38448 p. (Frontiers in Artificial Intelligence and Applications )
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
An equational approach to the merging of argumentation networks
Gabbay, D.Rodrigues, O.2013In : Journal of Logic and Computation.N/A, p. N/A25 p.
Research output: Contribution to journal › Conference paper
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Porn deontic logic system]
de Boer, M., Gabbay, D. M., Parent, X. & Slavkovic, M. Jul 2012In : SYNTHESE.187, 2, p. 623-66038 p.
Research output: Contribution to journal › Article
A Numerical Approach to the Merging of Argumentation Networks
Gabbay, D.Rodrigues, O.2012Computational Logic in Multi-Agent Systems: 13th International Workshop CLIMA XIII Proceedings. Heidelberg: Springer, Vol. 7486, p. 195-21218 p. (Lecture Notes in Computer Science; vol. 7486)
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Gabbay, D., Pearce, D. & Valverde, A. Sep 2011In : Journal Artificial Intelligence Research.42, p. 917 - 94327 p.
Research output: Contribution to journal › Article
Reactive automata
Crochemore, M.Gabbay, D. M.Apr 2011In : INFORMATION AND COMPUTATION.209, 4, p. 692 - 70413 p.
Research output: Contribution to journal › Article
Reactive intuitionistic tableaux
Gabbay, D. M.Mar 2011In : SYNTHESE.179, 2, p. 253 - 26917 p.
Research output: Contribution to journal › Article
Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim)
Abraham, M., Gabbay, D. M., Hazut, G., Maruvka, Y. E. & Schild, U. Feb 2011In : HISTORY AND PHILOSOPHY OF LOGIC.32, 1, p. 47 - 6216 p.
Research output: Contribution to journal › Article
Uncertainty Rules in Talmudic Reasoning
Gabbay, D. M. & Koppel, M. Feb 2011In : HISTORY AND PHILOSOPHY OF LOGIC.32, 1, p. 63 - 697 p.
Research output: Contribution to journal › Article
A Theory of Hierarchical Consequence and Conditionals
Gabbay, D. & Schlechta, K. 2010In : Journal of Logic, Language & Information.
Research output: Contribution to journal › Article
Logical Tools for Handling Change in Agent-Based Systems
Gabbay, D.2010Springer.
Research output: Book/Report › Book
Reactive links to save automata states
Crochemore, M.Gabbay, D.2010Prague Stringology Conference.Czech Technical University, p. 1 - 88 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Revision, Acceptability and Context
Gabbay, D., Rodrigues, O. & Russo, A. 2010Springer.
Research output: Book/Report › Book
A Logical Account of Formal Argumentation
Caminada, M. & Gabbay, D.Dec 2009In : Studia Logica.93, 2, p. 109-14537 p.
Research output: Contribution to journal › Article
Annotation Theories over Finite Graphs
Gabbay, D. & Szalas, A. Dec 2009In : Studia Logica.93, 2, p. 147-18034 p.
Research output: Contribution to journal › Article
Fibring Argumentation Frames
Gabbay, D.Dec 2009In : Studia Logica.93, 2, p. 231-29565 p.
Research output: Contribution to journal › Article
Logical Modes of Attack in Argumentation Networks
Gabbay, D. & d'Avila Garcez, A. Dec 2009In : Studia Logica.93, 2, p. 199-23032 p.
Research output: Contribution to journal › Article
Meta-Argumentation Modelling I: Methodology and Techniques
Boella, G., Gabbay, D., van der Torre, L. & Villata, S. Dec 2009In : Studia Logica.93, 2, p. 297-35559 p.
Research output: Contribution to journal › Article
Modal Logics of Reactive Frames
Gabbay, D. & Marcelino, S. Dec 2009In : Studia Logica.93, 2, p. 405 - 44642 p.
Research output: Contribution to journal › Article
Modal Provability Foundations for Argumentation Networks
Gabbay, D.Dec 2009In : Studia Logica.93, 2, p. 181-19818 p.
Research output: Contribution to journal › Article
Semantics for Higher Level Attacks in Extended Argumentation Frames
Gabbay, D.Dec 2009In : Studia Logica.93, 2, p. 357-38125 p.
Research output: Contribution to journal › Article
A Meta-model of Access Control in a Fibred Security Language
Barker, S., Boella, G., Gabbay, D. & Genovese, V. Aug 2009In : Studia Logica.92, 3, p. 437 - 47741 p.
Research output: Contribution to journal › Article
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction
Abraham, M., Gabbay, D. & Schild, U. Aug 2009In : LOGIC JOURNAL- IGPL.92, 3, p. 281-36484 p.
Research output: Contribution to journal › Article
Voting by Eliminating Quantifiers
Gabbay, D. & Szalas, A. Aug 2009In : Studia Logica.92, 3, p. 365 - 37915 p.
Research output: Contribution to journal › Article
Connections between Belief Revision, Belief Merging and Social Choice
Gabbay, D., Rodrigues, O. & Pigozzi, G. Jun 2009In : Journal of Logic and Computation.19, 3, p. 445 - 4462 p.
Research output: Contribution to journal › Editorial
Defeasible inheritance systems and reactive diagrams
Gabbay, D. & Schlechta, K. 2009In : LOGIC JOURNAL- IGPL.17, 1, p. 1-5454 p.
Research output: Contribution to journal › Article
Fibred Security Language
Beolla, G., Gabbay, D., Genovese, V. & van der Torre, L. 2009In : Studia Logica.
Research output: Contribution to journal › Article
Handbook of quantum logic and quantum structures: quantum logic
Engesser, K. (ed.), Gabbay, D. (ed.) & Lehmann, D. (ed.) 2009Elsevier.
Research output: Book/Report › Book
Independence — Revision and Defaults
Gabbay, D. & Schlechta, K. 2009In : Studia Logica.
Research output: Contribution to journal › Article
Neural-Symbolic Cognitive Reasoning
d'Avila Garcez, A. S., Lamb, L. C. & Gabbay, D. M.2009Springer.
Research output: Book/Report › Book
Proof Theory for Fuzzy Logics
Gabbay, D., Metcalfe, G. & Olivetti, N. 2009Springer.
Research output: Book/Report › Book
Quantification in Nonclassical Logic
Gabbay, D., Shehtman, V. & Skvortsov, D. 2009Elsevier.
Research output: Book/Report › Book
Roadmap for preferential logics
Gabbay, D. & Schlechta, K. 2009In : Journal of Applied Non-Classical Logics.
Research output: Contribution to journal › Article
Size and logic
Gabbay, D. & Schlechta, K. 2009In : Review Of Symbolic Logic.
Research output: Contribution to journal › Article
A New Approach to Quantum Logic
Gabbay, D., Engesser, K. & Lehmann, D. 2008College Publications.
Research output: Book/Report › Book
A Normative View on the Blocks World
Gabbay, D., Grossi, D. & van der Torre, L. 2008Third International Workshop on Normative Multiagent Systems - NorMAS 2008.Unknown Publisher, p. 128 - 14215 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
A Sound and Complete Deductive System for CTL* Verification
Gabbay, D. M. & Pnueli, A. 2008In : LOGIC JOURNAL- IGPL.16, 6, p. 499 - 53638 p.
Research output: Contribution to journal › Article
Analysis and Synthesis of Logics
Gabbay, D., Carnieli, W., Coniglio, M., Gouveia, P. & Sernadas, C. 2008Springer.
Research output: Book/Report › Book
Cut-Based Abduction
Gabbay, D., D'Agostino, M. & Finger, M. 2008In : LOGIC JOURNAL- IGPL.16, p. 537 - 56327 p.
Research output: Contribution to journal › Article
Reactive Kripke models and contrary to duty obligations
Gabbay, D. M., VanDerMeyden, R. (ed.) & VanDerTorre, L. (ed.) 2008Deontic Logic in Computer Science. BERLIN: Springer, Vol. 5076 LNAI, p. 155 - 17319 p. (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE)
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Second-Order Quantifier Elimination
Gabbay, D., Schmidt, R. & Szalas, A. 2008College Publications.
Research output: Book/Report › Book
Fuzzy logics based on [0,1)-continuous uninorms
Gabbay, D. & Metcalfe, G. Jul 2007In : ARCHIVE FOR MATHEMATICAL LOGIC.46, 5-6, p. 425 - 44925 p.
Research output: Contribution to journal › Article
Abductive reasoning in neural-symbolic systems
Garcez, A. S. D., Gabbay, D. M., Ray, O. & Woods, J. Mar 2007In : Topoi-An International Review Of Philosophy.26, 1, p. 37 - 4913 p.
Research output: Contribution to journal › Article
Connectionist modal logic: Representing modalities in neural networks
Garcez, A. S. D., Lamb, L. C. & Gabbay, D. M.22 Feb 2007In : Theoretical Computer Science.371, 1-2, p. 34 - 5320 p.
Research output: Contribution to journal › Article
British Logic in the Nineteenth Century
Gabbay, D. M. (ed.)Woods, J. (ed.)2007Elsevier. (Handbook of the History of Logic)
Research output: Book/Report › Book
Equal rights for the cut: Computable non-analytic cuts in cut-based proofs
Finger, M. & Gabbay, D.2007In : LOGIC JOURNAL- IGPL.15, 5-6, p. 553 - 57523 p.
Research output: Contribution to journal › Article
Handbook of Paraconsistency
Gabbay, D. M. (ed.), Beziau, J-Y. (ed.) & Carnielli, W. (ed.) 2007College Publications.
Research output: Book/Report › Book
Handbook of Philosophical Logic
Gabbay, D. M. (ed.) & Guenthner, F. (ed.) 2007Springer Finance.
Research output: Book/Report › Book
Logic for Artificial Intelligence and Information Technology
Gabbay, D.2007College Publications.
Research output: Book/Report › Book
Medieval and Renaissance Logic
Gabbay, D. M. (ed.)Woods, J. (ed.)2007Elsevier. (Handbook of the History of Logic)
Research output: Book/Report › Book
Reactive Kripke Semantics and Arc Accessibility
Gabbay, D. M.2007Volume in Honour of Boris Trahtenbrot. Avron, A. & Dershowitz, N. (eds.). Springer Finance
Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
The Many-valued and Nonmonotonic Turn in Logic
Gabbay, D. M. (ed.)Woods, J. (ed.)2007 Burlington : Elsevier: Elsevier. 691 p. (Handbook of the History of Logic; vol. 8)
Research output: Book/Report › Book
Connectionist computations of intuitionistic reasoning
Garcez, A. S. D., Lamb, L. C. & Gabbay, D. M.31 Jul 2006In : Theoretical Computer Science.358, 1, p. 34 - 5522 p.
Research output: Contribution to journal › Article
Belief revision, belief merging and voting
Gabbay, D. M., Pigozzi, G.Rodrigues, O.1 Jul 2006Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06).University of Liverpool Department of Computer Science, p. 71-788 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Algebra of Measurements: The Logical Structure of Quantum Mechanics
Gabbay, D., Engesser, K. & Lehmann, D. Apr 2006In : Journal of Theoretical Physics.45, 4, p. 698 - 72326 p.
Research output: Contribution to journal › Article
Advice on Abductive Logic
Gabbay, D. M.Woods, J.Mar 2006In : Logic Journal of the IGPL.14, 2, p. 189-21931 p.
Research output: Contribution to journal › Article
Context-dependent abduction and relevance
Gabbay, D., Nossum, R. & Woods, J. Feb 2006In : JOURNAL OF PHILOSOPHICAL LOGIC.35, 1, p. 65 - 8117 p.
Research output: Contribution to journal › Article
A Connectionist Model for Constructive Modal Reasoning
Gabbay, D., d'Avila Garcez, A. & Lamb, L. C. 2006Unknown.MIT Press, (Advances in Neural Information Processing Systems 18)
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Cut and Pay
Gabbay, D. M. & Finger, M. 2006In : Journal of Logic, Language and Information/.15, p. 195-21824 p.
Research output: Contribution to journal › Article
Filtration Structures and the Cut Down Problem for Abduction
Gabbay, D., Woods, J., Peacock, K. (ed.) & Irvine, A. (ed.) 2006Mistakes of Reason.University of Toronto Press, p. 398 - 41720 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Getting possibilities from the impossible
Elsenbroich, C., Gabbay, D. M.Rodrigues, O.2006Proceedings of the 11th Workshop on Nonmonotic Reasoning : NMR'06. Dix, J. & Hunter, A. (eds.). Institut fur Informatik, p. 505-5139 p. (IFI Technical Report Series; vol. 06-04)
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Philosophy of Anthropology and Sociology
Gabbay, D. M. (ed.)Woods, J. (ed.)2006Elsevier. (Handbook of the Philosophy of Science)
Research output: Book/Report › Book
Philosophy of Biology
Gabbay, D. M. (ed.)Woods, J. (ed.)2006Elsevier. (Handbook of the Philosophy of Science)
Research output: Book/Report › Book
Philosophy of Logic
Gabbay, D. M. (ed.)Woods, J. (ed.)2006Elsevier. (Handbook of the Philosophy of Science)
Research output: Book/Report › Book
Philosophy of Physics
Gabbay, D. M. (ed.)Woods, J. (ed.)2006Elsevier. (Handbook of the Philosophy of Science)
Research output: Book/Report › Book
Philosophy of Psychology and Cognitive Science
Gabbay, D. M. (ed.)Woods, J. (ed.)2006Elsevier. (Handbook of the Philosophy of Science)
Research output: Book/Report › Book
Philosophy of Science: Focal Issues
Gabbay, D. M. (ed.)Woods, J. (ed.)2006Elsevier. (Handbook of the Philosophy of Science)
Research output: Book/Report › Book
Value-based argumentation frameworks as neural-symbolic learning systems
Avila Garcez, A. S., Gabbay, D. M. & Lamb, L. C. Dec 2005In : Journal of Logic and Computation.15, 6, p. 1041 - 105818 p.
Research output: Contribution to journal › Article
Handbook of Temporal Reasoning in AI
Gabbay, D. M. (ed.), Vila, L. (ed.), Grabul, I. (ed.) & Fisher, M. (ed.)2005Elsevier.
Research output: Book/Report › Book
Handbook of temporal reasoning in artificial intelligence
Fisher, M. (ed.), Gabbay, D. (ed.) & Vila, L. (ed.) 20051 ed. Amsterdam: Elsevier.
Research output: Book/Report › Book
Interpolation and Definability, Volume 1: Modal and Intuitionistic Logic
Gabbay, D. & Maksimova, L. 2005 Oxford : Oxford University Press.
Research output: Book/Report › Book
Interpolation in Goal Directed Proof Systems1
Gabbay, D., Olivetti, N., Baaz, M. (ed.), Friedmand, S. (ed.) & Krajicek, J. (ed.) 2005Proceedings LC-2001.A K Peters, p. 170 - 21748 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Interpolation in goal directed proof systems 1
Gabbay, D. M. & Olivetti, N. 2005Proceedings LC-2001. Baaz, M., Friedmand, S. & Krajicek, J. (eds.). A K Peters, p. 170-21748 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Logic and the Modalities in the Twentieth Century
Gabbay, D. M. (ed.)Woods, J. (ed.)2005Elsevier. (Handbook of the History of Logic)
Research output: Book/Report › Book
Modal varieties of temporal logic
Gabbay, D. & Barringer, H. 2005Handbook of temporal reasoning in artificial intelligence. Fisher, M., Gabbay, D. & Vila, L. (eds.). Amsterdam: Elsevier, p. 119 - 16648 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Proof Theory for Propositional Fuzzy Logic
Gabbay, D. M., Metcalfe, G. & Olivetti, N. 2005In : Logic Journal of the IGPL.13, p. 561-58525 p.
Research output: Contribution to journal › Article
Sequent and Hypersequent calculi
Gabbay, D. M., Metcalfe, G. & Olivetti, N. 2005In : ACM Transactions on Computational Logic.6, 3, p. 578-61336 p.
Research output: Contribution to journal › Article
Temporal Dynamics of Argumentation Networks
Gabbay, D., Woods, J. & Barringer, H. 2005In : Lecture Notes in Computer Science.2605, p. 59 - 9840 p.
Research output: Contribution to journal › Article
The Reach of Abduction: Insight and Trial (A Practical Logic of Cognitive Systems, vol. 2)
Gabbay, D. & Woods, J. 2005Elsevier.
Research output: Book/Report › Book
Analytic calculi for product logics
Metcalfe, G., Olivetti, N. & Gabbay, D.Oct 2004In : ARCHIVE FOR MATHEMATICAL LOGIC.43, 7, p. 859 - 88931 p.
Research output: Contribution to journal › Article
Logic and Law
Gabbay, D. & Woods, J. Jul 2004In : Phi News.7, 4, p. 449-4524 p.
Research output: Contribution to journal › Article
Advice on Abductive Logic
Gabbay, D. & Woods, J. 2004Unknown.Unknown Publisher
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Advice on a Formal Model of Abduction
Gabbay, D. & Woods, J. 2004Unknown.Unknown Publisher
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Applying connectionist modal logics to distributed knowledge representation problems
Gabbay, D., d'Avila Garcez, A. S., Broda, K. & Lamb, L. 2004In : INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS.13, 1, p. 115 - 13925 p.
Research output: Contribution to journal › Article
Argumentation neural networks
Garcez, A. D., Gabbay, D., Lamb, L. C. & d'Avila, A. 2004In : Lecture Notes in Computer Science.3316, p. 606 - 6127 p.
Research output: Contribution to journal › Conference paper
Belief Contraction, Anti-formulae and Resource Overdraft: Part II Deletion in Resource Unbounded Logics
Gabbay, D., Rodrigues, O. & Woods, J. 2004Logic, Epistemology and the Unity of Science.Unknown Publisher, p. 291 - 32636 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Compiled Labelled Deductive Systems for Modal and Conditional Logics
Gabbay, D., Broda, K., Lamb, L. & Russo, A. 2004Research Studies Press.
Research output: Book/Report › Book
Fibring Neural Networks
Gabbay, D. & Garcez, A. 2004Proceedings of 19th National Conference on Artificial Itnelligence.AAAI Press
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Goal-directed methods for Lukasiewicz logic
Marcinkowski, J. (ed.), Tarlecki, A. (ed.) & Gabbay, D.2004LECT NOTE COMPUT SCI. BERLIN: Springer, p. 85 - 9915 p. (LECTURE NOTES IN COMPUTER SCIENCE)
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Handbook of the history of logic. Vol. 1, Greek, Indian and Arabic logic
Gabbay, D. M. (ed.) & Wodds, J. (ed.) 2004 Amsterdam: Elsevier.
Research output: Book/Report › Book
Hypersequents and Fuzzy Logic
Gabbay, D., Metcalfe, G. & Olivetti, N. 2004In : Rev. R. Acad. Cien. Serie A. Mat.98, 1, p. 113 - 12614 p.
Research output: Contribution to journal › Article
Logics of Context
Gabbay, D. M. & Nossum, R. 2004Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (eds.). Springer Finance
Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
Recursive Causality In Bayesian Networks and Self Fibring
Gabbay, D., Williamson, J. & Gillies, D. (ed.) 2004Laws and Models of Science.King's College Publications, p. 173 - 24775 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Restart as a Computational Rule
Gabbay, D., Gabbay, M. J. & Gabbay, M. 2004Unknown.Unknown Publisher
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
The rise of modern logic : from Leibniz to Frege. Vol. 3
Gabbay, D. (ed.) & Woods, J. (ed.) 2004 Amsterdam: Elsevier.
Research output: Book/Report › Book
Towards Connectionist Argumentation Frameworks
Gabbay, D., d'Avila Garcez, A. & Lamb, L. C. 2004Proceedings of 16th European Conference on Artificial Intelligence, ECAI 2004.Proceedings of 16th European Conference on Artificial Intelligence ECAI 2004, pp987-988, p. 987-9882 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Controlled revision - An algorithmic approach for belief revision
Gabbay, D., Pigozzi, G. & Woods, J. Feb 2003In : Journal of Logic and Computation.13, 1, p. 15 - 3521 p.
Research output: Contribution to journal › Conference paper
A practical logic of cognitive systems
Gabbay, D. M. & Woods, J. 2003 Amsterdam ; Boston: Elsevier.
Research output: Book/Report › Book
Agenda Relevance
Gabbay, D. M.Woods, J.2003Elsevier.
Research output: Book/Report › Book
Agenda relevance : a study in formal pragmatics
Gabbay, D. M. & Woods, J. 2003 Amsterdam ; London: Elsevier.
Research output: Book/Report › Book
Controlled Revision- A Preliminary Account
Gabbay, D., Pigozzi, G. & Woods, J. 2003In : Journal of Logic and Computation.13, p. 13 - 2311 p.
Research output: Contribution to journal › Article
Distributed knowledge representation in neural-symbolic learning systems
Gabbay, D., Garcez, A., Lamb, L. & Broda, K. 2003Proceedings of 16th AAAI International FLAIRS Conference.Unknown Publisher
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Foundations of revision and contraction : the Third De Morgan Conference
De Morgan, A. & Gabbay, D. M.2003 Oxford: Oxford University Press.
Research output: Book/Report › Book
Fuzzy Logic without Weakening
Gabbay, D. M., Metcalfe, G. & Olivetti, N. 2003In : NEURAL NETWORK WORLD.
Research output: Contribution to journal › Article
Goal-directed calculi for Godel-Dummett logics
Metcalfe, G., Olivetti, N. & Gabbay, D.2003Computer Science Logic: 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings. Baaz, M. & Makowsky, J. A. (eds.). N/A ed. Berlin: Springer, Vol. N/A, p. 413 - 42614 p. (Lecture Notes In Computer Science; no. 2803)
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Halfway between points and intervals. A temporal logic based on ordered trees
Gabbay, D., Endriss, U., Goranko, V. (ed.) & Montanari, A. (ed.) 2003ESSLLI Workshop on Interval Temporal Logics and Duration Calculi.Unknown Publisher, p. 100 - 10910 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Handbook of philosophical logic. Vol 10.
Guenthner, F. & Gabbay, D. M.2003 Edition: Kluwer Academic Publishers.
Research output: Book/Report › Book
Many-dimensional modal logics: theory and applications
Gabbay, D. M., Kurucz, A., Wolter, F. & Zakharyaschev, M.2003Elsevier. (Studies in Logic and the Foundations of Mathematics; vol. 148)
Research output: Book/Report › Book
Neural-Symbolic Intuitionistic Reasoning
Gabbay, D., d'Avila Garcez, A. S. & Lamb, L. C. 2003Unknown.IOS Press, (Frontiers in Artificial Intelligence and Applications)
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Proof theory for product logics
Metcalfe, G., Olivetti, N. & Gabbay, D.2003Neural Network World.Unknown Publisher, p. 549 - 55810 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Special issue on trees in linguistics, logic and computer science
Gabbay, D. M. & Goranko, V. 2003In : RESEARCH ON LANGUAGE AND SOCIAL INTERACTION.1, 3-4, p. 179 - i-ii and 1
Research output: Contribution to journal › Article
The Laws of Evidence and Labelled Deduction
Gabbay, D. & Woods, J. 2003In : Phi News.p. 5 - 4642 p.
Research output: Contribution to journal › Article
Quantum logic, Hilbert space, revision theory
Engesser, K. & Gabbay, D. M.Mar 2002In : ARTIFICIAL INTELLIGENCE.136, 1, p. 61 - 10040 p.