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 × Austria
1 × Canada
1 × Germany
1 × United Kingdom
6 × USA
Collaborated with:
M.Thielscher L.M.Pereira E.Dietz C.D.P.K.Ramli H.Störr U.C.Sigmund J.Schneeberger C.S.Herrmann A.Strohmaier W.Bibel J.Würtz S.Brüning G.Große
Talks about:
program (3) logic (3) reason (2) effect (2) action (2) abduct (2) equat (2) unif (2) lukasiewicz (1) paramodul (1)

Person: Steffen Hölldobler

DBLP DBLP: H=ouml=lldobler:Steffen

Contributed to:

ICLP 20142014
KR 20142014
ICLP 20092009
CL 20002000
SAC 19961996
ILPS 19931993
CADE 19921992
JICSLP 19921992
ICLP/SPL 19881988
ICALP 19871987
SLP 19871987

Wrote 12 papers:

ICLP-J-2014-PereiraDH #abduction #reasoning
Contextual Abductive Reasoning with Side-Effects (LMP, EAD, SH), pp. 633–648.
KR-2014-PereiraDH #abduction #approach #bias #reasoning
An Abductive Reasoning Approach to the Belief Bias Effect (LMP, EAD, SH).
ICLP-2009-HolldoblerR #logic programming #semantics #source code
Logic Programs under Three-Valued Lukasiewicz Semantics (SH, CDPKR), pp. 464–478.
CL-2000-HolldoblerS #calculus #diagrams #problem #using
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams (SH, HPS), pp. 747–761.
SAC-1996-HerrmannHS #concept #fuzzy
Fuzzy conceptual knowledge processing (CSH, SH, AS), pp. 628–632.
ILPS-1993-BruningHSTS #deduction
Disjunction In Resource-Oriented Deductive Planning (SB, SH, UCS, MT, JS), p. 670.
Actions and Specificity (SH, MT), pp. 164–180.
CADE-1992-BibelHW #unification
Cycle Unification (WB, SH, JW), pp. 94–108.
JICSLP-1992-GrosseHSST #equation #logic programming
Equational Logic Programming Actions, and Change (GG, SH, JS, UCS, MT), pp. 177–191.
From Paramodulation to Narrowing (SH), pp. 327–342.
ICALP-1987-Holldobler #algorithm #confluence #unification
A Unification Algorithms for Confluent Theories (SH), pp. 31–41.
SLP-1987-Holldobler87 #equation #logic programming
Equational Logic Programming (SH), pp. 335–346.

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.