sign in · help · news · about ·

BibSonomy :: author :: Gabbay ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(269)

<< < 1 | 2 | 3 > >>

A New Approach to Abstract Syntax Involving Binders.
Murdoch Gabbay, and Andrew M. Pitts LICS, page 214-224. IEEE Computer Society, (1999)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Interpolable Formulas in Equilibrium Logic and Answer Set Programming.
Dov M. Gabbay, David Pearce, and Agustín Valverde J. Artif. Intell. Res. JAIR (2011)
to dblp by dblp on Jan 16, 2012, 12:00 AM
URL | BibTeX
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
Murdoch James Gabbay CoRR (2011)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
Equilibria und weiteres Heiteres II
Dov M. Gabbay, and Karl Schlechta CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
Dov M. Gabbay, David Pearce, and Agustín Valverde CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
From nominal sets binding to
Gilles Dowek, and Murdoch Gabbay CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Embedding and Automating Conditional Logics in Classical Higher-Order Logic
Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, and Daniele Rispoli CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics
George Metcalfe, Nicola Olivetti, and Dov M. Gabbay CoRR (2002)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Algebras of Measurements: the logical structure of Quantum Mechanics
Daniel Lehmann, Kurt Engesser, and Dov M. Gabbay CoRR (2005)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets
Murdoch James Gabbay, and Dominic P. Mulligan LFMTP, volume 71 of EPTCS, page 58-75. (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Negation as Inconsistency I.
Dov M. Gabbay, and Marek J. Sergot J. Log. Program. 3(1):1-35 (1986)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure.
Dov M. Gabbay J. Log. Program. 2(4):251-283 (1985)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Conditional reasoning in logic programming.
Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, and Maria Luisa Sapino J. Log. Program. 44(1-3):37-74 (2000)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
N-Prolog: An Extension of Prolog with Hypothetical Implications I.
Dov M. Gabbay, and Uwe Reyle J. Log. Program. 1(4):319-355 (1984)
to dblp by dblp on Dec 1, 2011, 12:00 AM
URL | BibTeX
Foundations of nominal techniques: logic and semantics of variables in abstract syntax.
Murdoch James Gabbay Bulletin of Symbolic Logic 17(2):161-229 (2011)
to dblp by dblp on Nov 22, 2011, 12:00 AM
URL | BibTeX
Inconsistency Handling in Multperspective Specifications.
Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, and Bashar Nuseibeh IEEE Trans. Software Eng. 20(8):569-578 (1994)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Multi-task Regularization of Generative Similarity Models.
Luca Cazzanti, Sergey Feldman, Maya R. Gupta, and Michael Gabbay SIMBAD, volume 7005 of Lecture Notes in Computer Science, page 90-103. Springer, (2011)
to dblp by dblp on Oct 19, 2011, 12:00 AM
URL | BibTeX
Obligations and prohibitions in Talmudic deontic logic.
Michael Abraham, Dov M. Gabbay, and Uri J. Schild Artif. Intell. Law 19(2-3):117-148 (2011)
to dblp by dblp on Oct 15, 2011, 12:00 AM
URL | BibTeX
Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables.
Murdoch James Gabbay Mathematical Structures in Computer Science 21(5):997-1033 (2011)
to dblp by dblp on Sep 1, 2011, 12:00 AM
URL | BibTeX
Stone Duality for Nominal Boolean Algebras with И.
Murdoch James Gabbay, Tadeusz Litak, and Daniela Petrisan CALCO, volume 6859 of Lecture Notes in Computer Science, page 192-207. Springer, (2011)
to dblp by dblp on Aug 29, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100