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 × Canada
1 × France
1 × USA
Collaborated with:
T.Schaub P.Nicolas W.Bibel U.Egly T.Rath S.Hölldobler U.C.Sigmund M.Thielscher J.Schneeberger
Talks about:
technolog (1) disjunct (1) descript (1) theorem (1) resourc (1) provabl (1) default (1) system (1) reason (1) prover (1)

Person: Stefan Brüning

DBLP DBLP: Br=uuml=ning:Stefan

Contributed to:

CADE 19961996
CADE 19941994
ILPS 19931993

Wrote 4 papers:

CADE-1996-SchaubBN #named #prolog #proving #reasoning #theorem proving
XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description (TS, SB, PN), pp. 293–297.
KoMeT (WB, SB, UE, TR), pp. 783–787.
CADE-1994-Bruning #detection
Detecting Non-Provable Goals (SB), pp. 222–236.
ILPS-1993-BruningHSTS #deduction
Disjunction In Resource-Oriented Deductive Planning (SB, SH, UCS, MT, JS), p. 670.

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.