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: Gabbay:Dov_M=
Contributed to:
20042003
1994
1993
199219911990
1982
1980Wrote 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.