Travelled to:1 × Cyprus
1 × Spain
2 × Germany
3 × USA
Collaborated with:∅ D.M.Gabbay A.Herzig N.Eisinger G.Wrightson C.Hänsel E.Stoffel
Talks about:logic (5) quantifi (2) resolut (2) system (2) predic (2) elimin (2) order (2) modal (2) java (2) owl (2)
Person: Hans Jürgen Ohlbach
DBLP: Ohlbach:Hans_J=uuml=rgen
Contributed to:
2012
2008
19981996
19921990
1989198819861984Wrote 10 papers:
- KEOD-2012-Ohlbach #java #named #owl
- Java2OWL: A System for Synchronising Java and OWL (HJO), pp. 15–24.
- ECSA-2008-HanselOS #data type #named
- L-DSMS — A Local Data Stream Management System (CH, HJO, EPS), pp. 298–305.
- CADE-1998-Ohlbach #framework #reasoning #semantics
- Combining Hilbert Style and Semantic Reasoning in a Resolution Framework (HJO), pp. 205–219.
- CADE-1996-Ohlbach #named #quantifier
- SCAN — Elimination of Predicate Quantifiers (HJO), pp. 161–165.
- KR-1992-GabbayO #higher-order #logic #quantifier
- Quantifier Elimination in Second-Order Predicate Logic (DMG, HJO), pp. 425–435.
- CADE-1990-OhlbachH #compilation #logic #tutorial
- Tutorial on Compilation techniques for Logics (HJO, AH), p. 683.
- CSL-1989-Ohlbach #first-order #logic #multi #proving
- New Ways for Developing Proof Theories for First-Order Multi Modal Logics (HJO), pp. 271–308.
- CADE-1988-Ohlbach #calculus #logic
- A Resolution Calculus for Modal Logics (HJO), pp. 500–516.
- CADE-1986-EisingerO
- The Markgraf Karl Refutation Procedure (MKRP) (NE, HJO), pp. 681–682.
- CADE-1984-OhlbachW #automation #logic #problem #proving #theorem proving
- Solving a Problem in Relevance Logic with an Automated Theorem Prover (HJO, GW), pp. 496–508.