BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ohlbach:Hans_J=uuml=rgen

Contributed to:

KEOD 20122012
ECSA 20082008
CADE 19981998
CADE 19961996
KR 19921992
CADE 19901990
CSL 19891989
CADE 19881988
CADE 19861986
CADE 19841984

Wrote 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.
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.

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.