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