BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Italy
1 × Poland
2 × Germany
3 × USA
Collaborated with:
N.Olivetti G.Metcalfe H.J.Ohlbach A.Hunter E.Laenens D.Vermeir L.Giordano A.Martelli H.Barringer M.Fisher A.Pnueli S.Shelah J.Stavi A.Finkelstein J.Kramer B.Nuseibeh
Talks about:
logic (7) program (2) tempor (2) direct (2) order (2) goal (2) basi (2) lukasiewicz (1) intuitonist (1) inconsist (1)

Person: Dov M. Gabbay

DBLP DBLP: Gabbay:Dov_M=

Contributed to:

CSL 20042004
CSL 20032003
ICLP 19941994
ESEC 19931993
KR 19921992
KR 19911991
CSL 19901990
CADE 19821982
POPL 19801980

Wrote 10 papers:

CSL-2004-MetcalfeOG #logic
Goal-Directed Methods for Lukasiewicz Logic (GM, NO, DMG), pp. 85–99.
CSL-2003-MetcalfeOG #logic
Goal-Directed Calculli for Gödel-Dummett Logics (GM, NO, DMG), pp. 413–426.
ICLP-1994-GabbayGMO #logic programming
Conditonal Logic Programming (DMG, LG, AM, NO), pp. 272–289.
ESEC-1993-FinkelsteinGHKN #consistency #multi #nondeterminism #specification
Inconsistency Handling in Multi-Perspective Specifications (AF, DMG, AH, JK, BN), pp. 84–99.
KR-1992-GabbayO #higher-order #logic #quantifier
Quantifier Elimination in Second-Order Predicate Logic (DMG, HJO), pp. 425–435.
KR-1991-BarringerFGH #execution #logic
Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.
KR-1991-GabbayLV #logic programming #order #semantics #source code
Credulous vs. Sceptical Semantics for Ordered Logic Programs (DMG, EL, DV), pp. 208–217.
CSL-1990-Gabbay #algorithm #proving
Algorithmic Proof with Diminishing Resources, Part 1 (DMG), pp. 156–173.
CADE-1982-Gabbay #logic
Intuitonistic Basis for Non-Monotonic Logic (DMG), pp. 260–273.
POPL-1980-GabbayPSS #on the
On the Temporal Basis of Fairness (DMG, AP, SS, JS), pp. 163–173.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.