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: Br=uuml=ning:Stefan
Contributed to:
19961994
1993Wrote 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.
- CADE-1994-BibelBER
- 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.