dblp.uni-trier.dewww.uni-trier.de

Steffen Hölldobler

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
58EESebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel: A Fully Connectionist Model Generator for Covered First-Order Logic Programs. IJCAI 2007: 666-671
57EESebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger: Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. NeSy 2007
56EENatalia Cherchago, Pascal Hitzler, Steffen Hölldobler: Decidability Under the Well-Founded Semantics. RR 2007: 269-278
55EESebastian 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
54EESebastian Bader, Steffen Hölldobler: The Core Method: Connectionist Model Generation. ICANN (2) 2006: 1-13
53EESteffen 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
52EESebastian Bader, Steffen Hölldobler, Alexandre Scalzitti: Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. KI 2004: 281-294
51EESebastian 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)
50EEArtur 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)
49EEPascal Hitzler, Steffen Hölldobler, Anthony Karel Seda: Logic programs and connectionist networks. J. Applied Logic 2(3): 245-272 (2004)
2003
48EESteffen 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
47EEMarina 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
44EESteffen 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
42EESteffen 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
40EESteffen 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
32EEChristoph 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

Coauthor Index

1Sebastian Bader [51] [52] [54] [55] [57] [58]
2Antje Beringer [26] [27]
3Wolfgang Bibel [22]
4Sven-Erik Bornscheuer [46]
5Stefan Brüning [23] [24]
6Natalia Cherchago [56]
7Jürgen Cleve [19]
8Kerstin Eder [30] [33]
9Ulrich Furbach [1] [2] [8] [10]
10Dov M. Gabbay [50]
11Artur S. d'Avila Garcez [50]
12Günther Görz [35]
13Gerd Große [21] [23] [31]
14Hans W. Guesgen [14]
15Marina Guetova [47]
16Stephan Heilbrunner [3]
17Christoph S. Herrmann [32]
18Pascal Hitzler [49] [51] [55] [56] [58]
19Yvonne Kalinke [28] [36] [37] [38] [39]
20Eldar Karabaev [53]
21Franz J. Kurfess [15] [26]
22Dietrich Kuske [42]
23Thomas Laußermair [1]
24Helko Lehmann [36]
25Carsten Lutz [59]
26Valentin Mayer-Eichberger [57]
27Y. McIntyre [46]
28Alexandre Scalzitti [52]
29Josef Schneeberger [9] [13] [21] [23] [24] [31]
30Joachim F. Schreiber [8] [10]
31Anthony Karel Seda [49]
32Ute Cornelia Sigmund [21] [23] [24]
33Olga Skvortsova [53]
34Hans-Peter Störr [38] [39] [40] [43] [44] [46] [47] [48]
35Antje Strohmaier [32]
36John G. Taylor [50]
37Michael Thielscher [21] [23] [24] [25] [29] [30] [33]
38Dinh Khang Tran [48]
39Heinrich Wansing [59]
40Andreas Witzel [55] [58]
41Jörg Wunderlich [37]
42Jörg Würtz [19] [22]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)