The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dov M. Gabbay: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dov M. Gabbay, Peter McBrien
    Temporal Logic & Historical Databases. [Citation Graph (9, 8)][DBLP]
    VLDB, 1991, pp:423-430 [Conf]
  2. Dov M. Gabbay
    N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. [Citation Graph (6, 0)][DBLP]
    J. Log. Program., 1985, v:2, n:4, pp:251-283 [Journal]
  3. Dov M. Gabbay, Uwe Reyle
    N-Prolog: An Extension of Prolog with Hypothetical Implications I. [Citation Graph (6, 0)][DBLP]
    J. Log. Program., 1984, v:1, n:4, pp:319-355 [Journal]
  4. Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi
    On the Temporal Basis of Fairness. [Citation Graph (5, 0)][DBLP]
    POPL, 1980, pp:163-173 [Conf]
  5. Dov M. Gabbay
    Modal Provability Foundations for Negation by Failure. [Citation Graph (1, 0)][DBLP]
    ELP, 1989, pp:179-222 [Conf]
  6. Dov M. Gabbay, Els Laenens, Dirk Vermeir
    Credulous vs. Sceptical Semantics for Ordered Logic Programs. [Citation Graph (1, 0)][DBLP]
    KR, 1991, pp:208-217 [Conf]
  7. Dov M. Gabbay, Marek J. Sergot
    Negation as Inconsistency I. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1986, v:3, n:1, pp:1-35 [Journal]
  8. Artur S. d'Avila Garcez, Dov M. Gabbay
    Fibring Neural Networks. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:342-347 [Conf]
  9. Dov M. Gabbay
    Dznamics of Practical Reasoning: A Position Paper. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 1998, pp:179-224 [Conf]
  10. Dov M. Gabbay, Hans Jürgen Ohlbach
    From A Hilbert Calculus to its Model Theoretic Semantics. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:218-252 [Conf]
  11. Howard Barringer, Dov M. Gabbay, John Woods
    Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:59-98 [Conf]
  12. Dov M. Gabbay
    Intuitonistic Basis for Non-Monotonic Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:260-273 [Conf]
  13. Howard Barringer, Dov M. Gabbay
    Executing Temporal Logic: Review and Prospects (Abstract). [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:104-105 [Conf]
  14. Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
    Using the Temporal Logic RDL for Design Specifications. [Citation Graph (0, 0)][DBLP]
    Concurrency: Theory, Language, And Architecture, 1989, pp:64-78 [Conf]
  15. Dov M. Gabbay
    Algorithmic Proof with Diminishing Resources, Part 1. [Citation Graph (0, 0)][DBLP]
    CSL, 1990, pp:156-173 [Conf]
  16. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
    Goal-Directed Calculli for Gödel-Dummett Logics. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:413-426 [Conf]
  17. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
    Goal-Directed Methods for Lukasiewicz Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:85-99 [Conf]
  18. Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
    Towards a Connectionist Argumentation Framework. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:987-988 [Conf]
  19. Dov M. Gabbay
    Abduction in Labelled Deductive Systems - A Conceptual Abstract. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1991, pp:3-11 [Conf]
  20. Dov M. Gabbay, Anthony Hunter
    Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:129-136 [Conf]
  21. Dov M. Gabbay, Anthony Hunter
    Restricted Access Logics for Inconsistent Information. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:137-144 [Conf]
  22. Dov M. Gabbay, Odinaldo Rodrigues
    Structured Belief Bases: A Practical Approach to Prioritised Base Revision. [Citation Graph (0, 0)][DBLP]
    ECSQARU-FAPR, 1997, pp:267-281 [Conf]
  23. Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh
    Inconsistency Handling in Multi-Perspective Specifications. [Citation Graph (0, 0)][DBLP]
    ESEC, 1993, pp:84-99 [Conf]
  24. Dov M. Gabbay, Anthony Hunter
    Making inconsistency respectable: a logical framework for inconsistency in reasoning. [Citation Graph (0, 0)][DBLP]
    FAIR, 1991, pp:19-32 [Conf]
  25. Dov M. Gabbay, Odinaldo Rodrigues
    A Methodology for Iterated Theory Change. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:193-207 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2003, pp:271-275 [Conf]
  27. Dov M. Gabbay
    An Overview of Fibred Semantics and the Combination of Logics. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:1-55 [Conf]
  28. Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
    Neural-Symbolic Intuitionistic Reasoning. [Citation Graph (0, 0)][DBLP]
    HIS, 2003, pp:399-408 [Conf]
  29. Marcelo Finger, Dov M. Gabbay
    Updating Atomic Information in Labelled Database Systems. [Citation Graph (0, 8)][DBLP]
    ICDT, 1992, pp:188-200 [Conf]
  30. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
    Conditonal Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:272-289 [Conf]
  31. Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
    Argumentation Neural Networks. [Citation Graph (0, 0)][DBLP]
    ICONIP, 2004, pp:606-612 [Conf]
  32. Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt
    WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. [Citation Graph (0, 0)][DBLP]
    Intelligent Tutoring Systems, 1998, pp:605- [Conf]
  33. Dov M. Gabbay
    How to Construct a Logic for Your Application. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:1-29 [Conf]
  34. Dov M. Gabbay, Rolf Nossum, Michael Thielscher
    Agents in Proactive Environments. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:389-392 [Conf]
  35. Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter
    Meta-Reasoning in Executable Temporal Logic. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:40-49 [Conf]
  36. Dov M. Gabbay, Hans Jürgen Ohlbach
    Quantifier Elimination in Second-Order Predicate Logic. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:425-435 [Conf]
  37. Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay
    Language Understanding: A Procedural Perspective. [Citation Graph (0, 0)][DBLP]
    LACL, 1996, pp:228-247 [Conf]
  38. Dov M. Gabbay, Heinrich Wansing
    What is Negation in a System? Negation in Structured Consequence Relations. [Citation Graph (0, 0)][DBLP]
    Logic, Action, and Information, 1996, pp:328-350 [Conf]
  39. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
    Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:203-216 [Conf]
  40. Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
    A Connectionist Model for Constructive Modal Reasoning. [Citation Graph (0, 0)][DBLP]
    NIPS, 2005, pp:- [Conf]
  41. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
    METATEM: A Framework for Programming in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:94-129 [Conf]
  42. Dov M. Gabbay
    Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. [Citation Graph (0, 0)][DBLP]
    SCAI, 1991, pp:19-39 [Conf]
  43. Rolf Nossum, Dov M. Gabbay
    Semantical Correspondence Properties of Some Modal Systems of Logic. [Citation Graph (0, 0)][DBLP]
    SCAI, 1993, pp:10-19 [Conf]
  44. Marcello D'Agostino, Dov M. Gabbay
    Fibred Tableaux for Multi-Implication Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:16-35 [Conf]
  45. Bernhard Beckert, Dov M. Gabbay
    Fibring Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:77-92 [Conf]
  46. Krysia Broda, Dov M. Gabbay
    CLDS for Propositional Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:66-81 [Conf]
  47. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
    Analytic Sequent Calculi for Abelian and ukasiewicz Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:191-205 [Conf]
  48. Dov M. Gabbay
    The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:409-448 [Conf]
  49. Kurt Engesser, Dov M. Gabbay
    Quantum logic, Hilbert space, revision theory. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:136, n:1, pp:61-100 [Journal]
  50. Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay
    Symbolic knowledge extraction from trained neural networks: A sound approach. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:125, n:1-2, pp:155-207 [Journal]
  51. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
    Analytic Calculi for Product Logics. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2004, v:43, n:7, pp:859-890 [Journal]
  52. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
    Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  53. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
    METATEM: An Introduction. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:5, pp:533-549 [Journal]
  54. Amihood Amir, Dov M. Gabbay
    Preservation of Expressive Completeness in Temporal Models [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1987, v:72, n:1, pp:66-83 [Journal]
  55. Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:4, pp:363- [Journal]
  56. Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:5, pp:491- [Journal]
  57. Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson
    Parsing Natural Language using LDS: A Prototype. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1997, v:5, n:5, pp:- [Journal]
  58. Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum
    Interpolation in Practical Formal Development. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  59. Dov M. Gabbay
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:3, pp:266-276 [Journal]
  60. Dov M. Gabbay, Odinaldo Rodrigues, John Woods
    Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:6, pp:601-652 [Journal]
  61. Dov M. Gabbay, Valentin B. Shehtman
    Products of modal logics. Part 2: Relativised quantifiers in classical logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:2, pp:- [Journal]
  62. Dov M. Gabbay, Valentin B. Shehtman
    Products of Modal Logics, Part 1. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:1, pp:73-146 [Journal]
  63. Dov M. Gabbay, John Woods
    The New Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  64. Dov M. Gabbay, John Woods
    More on Non-Cooperation in Dialogue Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  65. Dov M. Gabbay, John Woods
    Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:6, pp:597-613 [Journal]
  66. Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo
    Labelled Natural Deduction for Conditional Logics of Normality. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:2, pp:123-163 [Journal]
  67. Jim Cunningham, Dov M. Gabbay
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  68. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
    Lukasiewicz Logic: From Proof Systems To Logic Programming. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:5, pp:561-585 [Journal]
  69. Dov M. Gabbay, John Woods
    Advice on Abductive Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:2, pp:189-219 [Journal]
  70. Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
    Applying connectionist modal logics to distributed knowledge representation problems. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2004, v:13, n:1, pp:115-139 [Journal]
  71. Dov M. Gabbay, Uwe Reyle
    Computation with run time skolemisation (N-Prolog part 3). [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1993, v:3, n:1, pp:- [Journal]
  72. Hans Jürgen Ohlbach, Dov M. Gabbay
    Calendar Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1998, v:8, n:4, pp:- [Journal]
  73. Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor
    Journal of Applied Logic Special Volume on Neural-Symbolic Systems. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2004, v:2, n:3, pp:241-243 [Journal]
  74. Jon Williamson, Dov M. Gabbay
    Special issue on Combining Probability and Logic. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2003, v:1, n:3-4, pp:135-138 [Journal]
  75. Marcello D'Agostino, Dov M. Gabbay
    A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:2, pp:243-281 [Journal]
  76. Dov M. Gabbay, Frank Kriwaczek
    A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:4, pp:511-536 [Journal]
  77. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino
    Conditional reasoning in logic programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:44, n:1-3, pp:37-74 [Journal]
  78. Jochen Dörre, Esther König, Dov M. Gabbay
    Fibred Semantics for Feature-Based Grammar Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1996, v:5, n:3/4, pp:387-422 [Journal]
  79. Marcelo Finger, Dov M. Gabbay
    Cut and Pay. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2006, v:15, n:3, pp:195-218 [Journal]
  80. Dov M. Gabbay, G. Malod
    Naming Worlds in Modal and Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2002, v:11, n:1, pp:29-65 [Journal]
  81. Dov M. Gabbay
    The Decidability of the Kreisel-Putnam System. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1970, v:35, n:3, pp:431-437 [Journal]
  82. Dov M. Gabbay
    Applications of Trees to Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:1, pp:135-138 [Journal]
  83. Dov M. Gabbay
    Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:2, pp:375-384 [Journal]
  84. Dov M. Gabbay
    Decidability of Some Intuitionistic Predicate Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1972, v:37, n:3, pp:579-587 [Journal]
  85. Dov M. Gabbay
    The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1973, v:38, n:1, pp:86-92 [Journal]
  86. Dov M. Gabbay
    Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1976, v:41, n:1, pp:81-94 [Journal]
  87. Dov M. Gabbay
    Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:269-271 [Journal]
  88. Dov M. Gabbay
    A New Version of Beth Semantics for Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1977, v:42, n:2, pp:306-308 [Journal]
  89. Dov M. Gabbay
    Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:4, pp:1057-1120 [Journal]
  90. Dov M. Gabbay, Dick de Jongh
    A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1974, v:39, n:1, pp:67-78 [Journal]
  91. Dov M. Gabbay, Ruy J. G. B. de Queiroz
    Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:4, pp:1319-1365 [Journal]
  92. Dov M. Gabbay, Valentin B. Shehtman
    Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:3, pp:800-823 [Journal]
  93. Dov M. Gabbay
    Logic Made Reasonable. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:39-41 [Journal]
  94. Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri
    A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:2, pp:205-231 [Journal]
  95. Dov M. Gabbay
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1990, v:1, n:1, pp:1-4 [Journal]
  96. Dov M. Gabbay
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:1, pp:1-2 [Journal]
  97. Dov M. Gabbay
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:1, pp:3- [Journal]
  98. Dov M. Gabbay
    What's on My Mind... [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:1, pp:3-6 [Journal]
  99. Dov M. Gabbay, Ian M. Hodkinson
    An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1990, v:1, n:2, pp:229-259 [Journal]
  100. Dov M. Gabbay, Rolf Nossum, Michael Thielscher
    Agents in Proactive Environments. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:1, pp:25-45 [Journal]
  101. Dov M. Gabbay, Gabriella Pigozzi, John Woods
    Controlled Revision - An algorithmic approach for belief revision. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:1, pp:3-22 [Journal]
  102. Dov M. Gabbay
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:1, pp:1- [Journal]
  103. Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
    Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:6, pp:1041-1058 [Journal]
  104. Dov M. Gabbay
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:1, pp:1- [Journal]
  105. Marcelo Finger, Dov M. Gabbay
    Combining Temporal Logic Systems. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:2, pp:204-232 [Journal]
  106. Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo
    Grafting Modalities onto Substructural Implication Systems. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:1, pp:65-102 [Journal]
  107. Dov M. Gabbay, Nicola Olivetti
    Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:61, n:2, pp:237-280 [Journal]
  108. Dov M. Gabbay, Fiora Pirri
    Combining Logic I - Introduction. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:1, pp:1-4 [Journal]
  109. Dov M. Gabbay, Fiora Pirri
    Combining Logic II - Introduction. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:1, pp:147-148 [Journal]
  110. Dov M. Gabbay, Uwe Reyle
    Labelled Resolution for Classical and Non-classical Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:1, pp:179-216 [Journal]
  111. Dov M. Gabbay, Valentin B. Shehtman
    Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:2, pp:157-183 [Journal]
  112. Stéphane Demri, Dov M. Gabbay
    On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:66, n:3, pp:349-384 [Journal]
  113. Stéphane Demri, Dov M. Gabbay
    On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:65, n:3, pp:323-353 [Journal]
  114. Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti
    Cut-free proof systems for logics of weak excluded middle. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 1998, v:2, n:4, pp:147-156 [Journal]
  115. Dov M. Gabbay
    Soft computing, labelling and granulation. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 1998, v:2, n:1, pp:12-13 [Journal]
  116. Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
    Connectionist computations of intuitionistic reasoning. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:358, n:1, pp:34-55 [Journal]
  117. Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
    Connectionist modal logic: Representing modalities in neural networks. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:371, n:1-2, pp:34-53 [Journal]
  118. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
    Sequent and hypersequent calculi for abelian and łukasiewicz logics. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:3, pp:578-613 [Journal]
  119. Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh
    Inconsistency Handling in Multperspective Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:8, pp:569-578 [Journal]
  120. Howard Barringer, David E. Rydeheard, Dov M. Gabbay
    A Logical Framework for Monitoring and Evolving Software Components. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:273-282 [Conf]
  121. Dov M. Gabbay, George Metcalfe
    Fuzzy logics based on [0, 1)-continuous uninorms. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2007, v:46, n:5-6, pp:425-449 [Journal]

  122. Introducing Reactive Kripke Semantics and Arc Accessibility. [Citation Graph (, )][DBLP]


  123. Modal and Temporal Argumentation Networks. [Citation Graph (, )][DBLP]


  124. Common Foundations for belief revision, belief merging and voting. [Citation Graph (, )][DBLP]


  125. Reactive Kripke Models and Contrary to Duty Obligations. [Citation Graph (, )][DBLP]


  126. Obligations and Prohibitions in Talmudic Deontic Logic. [Citation Graph (, )][DBLP]


  127. Higher-Order Coalition Logic. [Citation Graph (, )][DBLP]


  128. From Runtime Verification to Evolvable Systems. [Citation Graph (, )][DBLP]


  129. A Normative View on the Blocks World. [Citation Graph (, )][DBLP]


  130. Algebras of Measurements: the logical structure of Quantum Mechanics [Citation Graph (, )][DBLP]


Search in 6.342secs, Finished in 6.346secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002