The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Steffen Hölldobler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Antje Beringer, Steffen Hölldobler
    On the Adequateness of the Connection Method. [Citation Graph (0, 0)][DBLP]
    AAAI, 1993, pp:9-14 [Conf]
  2. Steffen Hölldobler
    A Structured Connectionist Unification Algorithm. [Citation Graph (0, 0)][DBLP]
    AAAI, 1990, pp:587-593 [Conf]
  3. Steffen Hölldobler
    Equational Logic and Theories of Action. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:111-126 [Conf]
  4. 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]
  5. 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]
  6. Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
    Cycle Unification. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:94-108 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Steffen Hölldobler
    Horn Equality Theories and Complete Sets of Transformations. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:405-412 [Conf]
  12. 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]
  13. Steffen Hölldobler
    A Unification Algorithms for Confluent Theories. [Citation Graph (0, 0)][DBLP]
    ICALP, 1987, pp:31-41 [Conf]
  14. Sebastian Bader, Steffen Hölldobler
    The Core Method: Connectionist Model Generation. [Citation Graph (0, 0)][DBLP]
    ICANN (2), 2006, pp:1-13 [Conf]
  15. 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]
  16. Steffen Hölldobler
    From Paramodulation to Narrowing. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:327-342 [Conf]
  17. Antje Beringer, Steffen Hölldobler, Franz J. Kurfess
    Spatial Reasoning and Connectionist Inference. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:1352-1359 [Conf]
  18. 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]
  19. 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]
  20. 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]
  21. Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
    Linear Paramodulation modulo Equality. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:107-116 [Conf]
  22. Marina Guetova, Steffen Hölldobler, Hans-Peter Störr
    Incremental Fuzzy Decision Trees. [Citation Graph (0, 0)][DBLP]
    KI, 2002, pp:67-81 [Conf]
  23. Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair
    Extended Unification and its Implementation. [Citation Graph (0, 0)][DBLP]
    GWAI, 1985, pp:176-185 [Conf]
  24. 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]
  25. Steffen Hölldobler, Josef Schneeberger
    A New Deductive Approach to Planning. [Citation Graph (0, 0)][DBLP]
    GWAI, 1989, pp:63-73 [Conf]
  26. Steffen Hölldobler
    On Deductive Planning and the Frame Problem. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:13-29 [Conf]
  27. 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]
  28. 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]
  29. 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]
  30. Christoph S. Herrmann, Steffen Hölldobler, Antje Strohmaier
    Fuzzy conceptual knowledge processing. [Citation Graph (0, 0)][DBLP]
    SAC, 1996, pp:628-632 [Conf]
  31. 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]
  32. Steffen Hölldobler
    Equational Logic Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:335-346 [Conf]
  33. Steffen Hölldobler, Michael Thielscher
    Actions and Specificity. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:164-180 [Conf]
  34. Steffen Hölldobler
    Challenge problems for the integration of logic and connectionist systems. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:161-170 [Conf]
  35. Steffen Hölldobler, Yvonne Kalinke
    Ein massiv paralleles Modell für die Logikprogrammierung. [Citation Graph (0, 0)][DBLP]
    WLP, 1994, pp:89-92 [Conf]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler
    Decidability Under the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:269-278 [Conf]
  53. 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]

  54. Logics and Networks for Human Reasoning. [Citation Graph (, )][DBLP]


  55. Logic Programs under Three-Valued Lukasiewicz Semantics. [Citation Graph (, )][DBLP]


  56. Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. [Citation Graph (, )][DBLP]


Search in 4.206secs, Finished in 4.209secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002