| 2008 |
|---|
| 59 | | Steffen Hölldobler,
Carsten Lutz,
Heinrich Wansing:
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings
Springer 2008 |
| 2007 |
|---|
| 58 | EE | Sebastian Bader,
Pascal Hitzler,
Steffen Hölldobler,
Andreas Witzel:
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
IJCAI 2007: 666-671 |
| 57 | EE | Sebastian Bader,
Steffen Hölldobler,
Valentin Mayer-Eichberger:
Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach.
NeSy 2007 |
| 56 | EE | Natalia Cherchago,
Pascal Hitzler,
Steffen Hölldobler:
Decidability Under the Well-Founded Semantics.
RR 2007: 269-278 |
| 55 | EE | Sebastian Bader,
Pascal Hitzler,
Steffen Hölldobler,
Andreas Witzel:
The Core Method: Connectionist Model Generation for First-Order Logic Programs.
Perspectives of Neural-Symbolic Integration 2007: 205-232 |
| 2006 |
|---|
| 54 | EE | Sebastian Bader,
Steffen Hölldobler:
The Core Method: Connectionist Model Generation.
ICANN (2) 2006: 1-13 |
| 53 | EE | Steffen Hölldobler,
Eldar Karabaev,
Olga Skvortsova:
FluCaP: A Heuristic Search Planner for First-Order MDPs.
J. Artif. Intell. Res. (JAIR) 27: 419-439 (2006) |
| 2004 |
|---|
| 52 | EE | Sebastian Bader,
Steffen Hölldobler,
Alexandre Scalzitti:
Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding.
KI 2004: 281-294 |
| 51 | EE | Sebastian Bader,
Pascal Hitzler,
Steffen Hölldobler:
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
CoRR cs.AI/0408069: (2004) |
| 50 | EE | Artur S. d'Avila Garcez,
Dov M. Gabbay,
Steffen Hölldobler,
John G. Taylor:
Journal of Applied Logic Special Volume on Neural-Symbolic Systems.
J. Applied Logic 2(3): 241-243 (2004) |
| 49 | EE | Pascal Hitzler,
Steffen Hölldobler,
Anthony Karel Seda:
Logic programs and connectionist networks.
J. Applied Logic 2(3): 245-272 (2004) |
| 2003 |
|---|
| 48 | EE | Steffen Hölldobler,
Hans-Peter Störr,
Dinh Khang Tran:
The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers.
JACIII 7(3): 294-305 (2003) |
| 2002 |
|---|
| 47 | EE | Marina Guetova,
Steffen Hölldobler,
Hans-Peter Störr:
Incremental Fuzzy Decision Trees.
KI 2002: 67-81 |
| 2001 |
|---|
| 46 | | Sven-Erik Bornscheuer,
Y. McIntyre,
Steffen Hölldobler,
Hans-Peter Störr:
User Adaptation in a Web Shop System.
IMSA 2001: 208-213 |
| 2000 |
|---|
| 45 | | Steffen Hölldobler:
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Kluwer 2000 |
| 44 | EE | Steffen Hölldobler,
Hans-Peter Störr:
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams.
Computational Logic 2000: 747-761 |
| 43 | | Steffen Hölldobler,
Hans-Peter Störr:
Complex Plans in the Fluent Calculus.
Intellectics and Computational Logic 2000: 207-223 |
| 42 | EE | Steffen Hölldobler,
Dietrich Kuske:
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus.
LPAR 2000: 436-450 |
| 41 | | Steffen Hölldobler:
Challenge problems for the integration of logic and connectionist systems.
WLP 2000: 161-170 |
| 40 | EE | Steffen Hölldobler,
Hans-Peter Störr:
BDD-based reasoning in the fluent calculus - first results
CoRR cs.AI/0003047: (2000) |
| 1999 |
|---|
| 39 | | Steffen Hölldobler,
Yvonne Kalinke,
Hans-Peter Störr:
Approximating the Semantics of Logic Programs by Recurrent Neural Networks.
Appl. Intell. 11(1): 45-58 (1999) |
| 1998 |
|---|
| 38 | | Steffen Hölldobler,
Yvonne Kalinke,
Hans-Peter Störr:
Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs.
Australian Joint Conference on Artificial Intelligence 1998: 167-178 |
| 37 | | Steffen Hölldobler,
Yvonne Kalinke,
Jörg Wunderlich:
A Recursive Neural Network for Reflexive Reasoning.
Hybrid Neural Systems 1998: 46-62 |
| 1997 |
|---|
| 36 | | Steffen Hölldobler,
Yvonne Kalinke,
Helko Lehmann:
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks.
KI 1997: 313-324 |
| 1996 |
|---|
| 35 | | Günther Görz,
Steffen Hölldobler:
KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings
Springer 1996 |
| 34 | | Steffen Hölldobler:
Equational Logic and Theories of Action.
APPIA-GULP-PRODE 1996: 111-126 |
| 33 | | Kerstin Eder,
Steffen Hölldobler,
Michael Thielscher:
An Abstract Machine for Reasoning about Situations, Actions, and Causality.
ELP 1996: 137-151 |
| 32 | EE | Christoph S. Herrmann,
Steffen Hölldobler,
Antje Strohmaier:
Fuzzy conceptual knowledge processing.
SAC 1996: 628-632 |
| 31 | | Gerd Große,
Steffen Hölldobler,
Josef Schneeberger:
Linear Deductive Planning.
J. Log. Comput. 6(2): 233-262 (1996) |
| 1995 |
|---|
| 30 | | Kerstin Eder,
Steffen Hölldobler,
Michael Thielscher:
A Resource-Oriented Deductive Approach Towards Hierarchical Planning.
WLP 1995: 237-246 |
| 29 | | Steffen Hölldobler,
Michael Thielscher:
Computing change and specificity with equational logic programs.
Ann. Math. Artif. Intell. 14(1): (1995) |
| 1994 |
|---|
| 28 | | Steffen Hölldobler,
Yvonne Kalinke:
Ein massiv paralleles Modell für die Logikprogrammierung.
WLP 1994: 89-92 |
| 1993 |
|---|
| 27 | | Antje Beringer,
Steffen Hölldobler:
On the Adequateness of the Connection Method.
AAAI 1993: 9-14 |
| 26 | | Antje Beringer,
Steffen Hölldobler,
Franz J. Kurfess:
Spatial Reasoning and Connectionist Inference.
IJCAI 1993: 1352-1359 |
| 25 | | Steffen Hölldobler,
Michael Thielscher:
Actions and Specificity.
ILPS 1993: 164-180 |
| 24 | | Stefan Brüning,
Steffen Hölldobler,
Ute Cornelia Sigmund,
Michael Thielscher,
Josef Schneeberger:
Disjunction In Resource-Oriented Deductive Planning.
ILPS 1993: 670 |
| 23 | | Stefan Brüning,
Gerd Große,
Steffen Hölldobler,
Josef Schneeberger,
Ute Cornelia Sigmund,
Michael Thielscher:
Disjunction in Plan Generation by Equational Logic Programming.
PuK 1993: 18-26 |
| 1992 |
|---|
| 22 | | Wolfgang Bibel,
Steffen Hölldobler,
Jörg Würtz:
Cycle Unification.
CADE 1992: 94-108 |
| 21 | | Gerd Große,
Steffen Hölldobler,
Josef Schneeberger,
Ute Cornelia Sigmund,
Michael Thielscher:
Equational Logic Programming Actions, and Change.
JICSLP 1992: 177-191 |
| 20 | | Steffen Hölldobler:
On Deductive Planning and the Frame Problem.
LPAR 1992: 13-29 |
| 19 | | Jürgen Cleve,
Steffen Hölldobler,
Jörg Würtz:
7. Workshop Logische Programmierung und 8. Jahrestreffen der GI-Fachgruppe 1.2.1 ``Deduktionssysteme''.
KI 6(2): 46-47 (1992) |
| 1991 |
|---|
| 18 | | Steffen Hölldobler:
Combining Logic Programming and Equation Solving.
J. Log. Comput. 1(3): 397-415 (1991) |
| 1990 |
|---|
| 17 | | Steffen Hölldobler:
On High-Level Inferencing and the Variable Binding Problem in Connectionist Networks.
ÖGAI 1990: 180-185 |
| 16 | | Steffen Hölldobler:
A Structured Connectionist Unification Algorithm.
AAAI 1990: 587-593 |
| 15 | | Steffen Hölldobler,
Franz J. Kurfess:
CHCL - A Connectionist Infernce System.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 318-342 |
| 14 | | Hans W. Guesgen,
Steffen Hölldobler:
Connectionist Inference Systems.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 82-120 |
| 13 | | Steffen Hölldobler,
Josef Schneeberger:
A New Deductive Approach to Planning.
New Generation Comput. 8(3): 225- (1990) |
| 12 | | Steffen Hölldobler:
Conditional Equational Theories and Complete Sets of Transformations.
Theor. Comput. Sci. 75(1&2): 85-110 (1990) |
| 1989 |
|---|
| 11 | | Steffen Hölldobler:
Foundations of Equational Logic Programming
Springer 1989 |
| 10 | | Ulrich Furbach,
Steffen Hölldobler,
Joachim F. Schreiber:
Linear Paramodulation modulo Equality.
GWAI 1989: 107-116 |
| 9 | | Steffen Hölldobler,
Josef Schneeberger:
A New Deductive Approach to Planning.
GWAI 1989: 63-73 |
| 8 | | Ulrich Furbach,
Steffen Hölldobler,
Joachim F. Schreiber:
Horn Equational Theories and Paramodulation.
J. Autom. Reasoning 5(3): 309-337 (1989) |
| 1988 |
|---|
| 7 | | Steffen Hölldobler:
Horn Equality Theories and Complete Sets of Transformations.
FGCS 1988: 405-412 |
| 6 | | Steffen Hölldobler:
From Paramodulation to Narrowing.
ICLP/SLP 1988: 327-342 |
| 1987 |
|---|
| 5 | | Steffen Hölldobler:
A Unification Algorithms for Confluent Theories.
ICALP 1987: 31-41 |
| 4 | | Steffen Hölldobler:
Equational Logic Programming.
SLP 1987: 335-346 |
| 3 | | Stephan Heilbrunner,
Steffen Hölldobler:
The Undecidability of the Unification and Matching Problem for Canonical Theories.
Acta Inf. 24(2): 157-171 (1987) |
| 1986 |
|---|
| 2 | | Ulrich Furbach,
Steffen Hölldobler:
Modelling the Combination of Functional and Logic Programming Languages.
J. Symb. Comput. 2(2): 123-138 (1986) |
| 1985 |
|---|
| 1 | | Steffen Hölldobler,
Ulrich Furbach,
Thomas Laußermair:
Extended Unification and its Implementation.
GWAI 1985: 176-185 |
