Steffen Hölldobler

	2011
65		Steffen Hölldobler, Tobias Philipp, Christoph Wernhard: An Abductive Model for Human Reasoning. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
	2010
64		Steffen Hölldobler: Ausgezeichnete Informatikdissertationen 2009 GI 2010
63		Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya: Improving Resource-Unaware SAT Solvers. LPAR (Yogyakarta) 2010: 519-534
	2009
62		Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli: Logics and Networks for Human Reasoning. ICANN (2) 2009: 85-94
61		Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli: Logic Programs under Three-Valued Lukasiewicz Semantics. ICLP 2009: 464-478
	2008
60		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
59		Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel: A Fully Connectionist Model Generator for Covered First-Order Logic Programs. IJCAI 2007: 666-671
58		Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger: Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. NeSy 2007
57		Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler: Decidability Under the Well-Founded Semantics. RR 2007: 269-278
56		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
55		Sebastian Bader, Steffen Hölldobler: The Core Method: Connectionist Model Generation. ICANN (2) 2006: 1-13
54		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
53		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
52		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)
51		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)
50		Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda: Logic programs and connectionist networks. J. Applied Logic 2(3): 245-272 (2004)
	2003
49		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
48		Marina Guetova, Steffen Hölldobler, Hans-Peter Störr: Incremental Fuzzy Decision Trees. KI 2002: 67-81
	2001
47		Sven-Erik Bornscheuer, Y. McIntyre, Steffen Hölldobler, Hans-Peter Störr: User Adaptation in a Web Shop System. IMSA 2001: 208-213
	2000
46		Steffen Hölldobler: Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday) Kluwer 2000
45		Steffen Hölldobler, Hans-Peter Störr: Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. Computational Logic 2000: 747-761
44		Steffen Hölldobler, Hans-Peter Störr: Complex Plans in the Fluent Calculus. Intellectics and Computational Logic 2000: 207-223
43		Steffen Hölldobler, Dietrich Kuske: The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. LPAR 2000: 436-450
42		Steffen Hölldobler: Challenge problems for the integration of logic and connectionist systems. WLP 2000: 161-170
41		Steffen Hölldobler, Hans-Peter Störr: BDD-based reasoning in the fluent calculus - first results CoRR cs.AI/0003047: (2000)
	1999
40		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
39		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
38		Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich: A Recursive Neural Network for Reflexive Reasoning. Hybrid Neural Systems 1998: 46-62
	1997
37		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
36		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
35		Steffen Hölldobler: Equational Logic and Theories of Action. APPIA-GULP-PRODE 1996: 111-126
34		Kerstin Eder, Steffen Hölldobler, Michael Thielscher: An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP 1996: 137-151
33		Christoph S. Herrmann, Steffen Hölldobler, Antje Strohmaier: Fuzzy conceptual knowledge processing. SAC 1996: 628-632
32		Gerd Große, Steffen Hölldobler, Josef Schneeberger: Linear Deductive Planning. J. Log. Comput. 6(2): 233-262 (1996)
	1995
31		Kerstin Eder, Steffen Hölldobler, Michael Thielscher: A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP 1995: 237-246
30		Steffen Hölldobler, Michael Thielscher: Computing change and specificity with equational logic programs. Ann. Math. Artif. Intell. 14(1): 99-133 (1995)
	1994
29		Steffen Hölldobler, Yvonne Kalinke: Ein massiv paralleles Modell für die Logikprogrammierung. WLP 1994: 89-92
	1993
28		Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub: Wissensrepräsentation und Inferenz - eine grundlegende Einführung. Vieweg 1993: 1-387
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-244 (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

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

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page