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: H=ouml=lldobler:Steffen
Contributed to:
2014
20142009
2000
19961993
199219921988
19871987Wrote 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.
- ILPS-1993-HolldoblerT
- 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.
- JICSCP-1988-Holldobler88
- 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.