| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Steffen Hölldobler, Tobias Philipp, Christoph Wernhard |
An Abductive Model for Human Reasoning.  |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya |
Improving Resource-Unaware SAT Solvers. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler (eds.) |
Ausgezeichnete Informatikdissertationen 2009 |
Ausgezeichnete Informatikdissertationen |
2010 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli |
Logic Programs under Three-Valued Lukasiewicz Semantics. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Three Valued Logic Programs, ?ukasiewicz Semantics |
| 1 | Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli |
Logics and Networks for Human Reasoning. |
ICANN |
2009 |
DBLP DOI BibTeX RDF |
Human Reasoning, Logic Programs, Connectionist Models |
| 1 | Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.) |
Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings |
JELIA |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger |
Extracting Propositional Rules from Feed-forward Neural Networks - A New Decompositional Approach. |
NeSy |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel |
A Fully Connectionist Model Generator for Covered First-Order Logic Programs. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler |
Decidability Under the Well-Founded Semantics. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova |
FluCaP: A Heuristic Search Planner for First-Order MDPs. |
J. Artif. Intell. Res. (JAIR) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Bader, Steffen Hölldobler |
The Core Method: Connectionist Model Generation. |
ICANN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda |
Logic programs and connectionist networks. |
J. Applied Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Bader, Steffen Hölldobler, Alexandre Scalzitti |
Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding. |
KI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Hans-Peter Störr, Dinh Khang Tran |
The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers. |
JACIII |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marina Guetova, Steffen Hölldobler, Hans-Peter Störr |
Incremental Fuzzy Decision Trees. |
KI |
2002 |
DBLP DOI BibTeX RDF |
classification, fuzzy logic, decision trees, incremental learning |
| 1 | Sven-Erik Bornscheuer, Y. McIntyre, Steffen Hölldobler, Hans-Peter Störr |
User Adaptation in a Web Shop System. |
IMSA |
2001 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Hans-Peter Störr |
BDD-based reasoning in the fluent calculus - first results |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Dietrich Kuske |
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler (eds.) |
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday) |
Intellectics and Computational Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Hans-Peter Störr |
Complex Plans in the Fluent Calculus. |
Intellectics and Computational Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler |
Challenge problems for the integration of logic and connectionist systems. |
WLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Hans-Peter Störr |
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr |
Approximating the Semantics of Logic Programs by Recurrent Neural Networks. |
Appl. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich |
A Recursive Neural Network for Reflexive Reasoning. |
Hybrid Neural Systems |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann |
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. |
KI |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Große, Steffen Hölldobler, Josef Schneeberger |
Linear Deductive Planning. |
J. Log. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler |
Equational Logic and Theories of Action. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Christoph S. Herrmann, Steffen Hölldobler, Antje Strohmaier |
Fuzzy conceptual knowledge processing. |
SAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Eder, Steffen Hölldobler, Michael Thielscher |
An Abstract Machine for Reasoning about Situations, Actions, and Causality. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Günther Görz, Steffen Hölldobler (eds.) |
KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings |
KI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Michael Thielscher |
Computing change and specificity with equational logic programs. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kerstin Eder, Steffen Hölldobler, Michael Thielscher |
A Resource-Oriented Deductive Approach Towards Hierarchical Planning. |
WLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Yvonne Kalinke |
Ein massiv paralleles Modell für die Logikprogrammierung. |
WLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub |
Wissensrepräsentation und Inferenz - eine grundlegende Einführung. |
|
1993 |
RDF |
|
| 1 | Antje Beringer, Steffen Hölldobler, Franz J. Kurfess |
Spatial Reasoning and Connectionist Inference. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger |
Disjunction In Resource-Oriented Deductive Planning. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Michael Thielscher |
Actions and Specificity. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Antje Beringer, Steffen Hölldobler |
On the Adequateness of the Connection Method. |
AAAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1992 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz |
Cycle Unification. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler |
On Deductive Planning and the Frame Problem. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher |
Equational Logic Programming Actions, and Change. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler |
Combining Logic Programming and Equation Solving. |
J. Log. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler |
Conditional Equational Theories and Complete Sets of Transformations. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Josef Schneeberger |
A New Deductive Approach to Planning. |
New Generation Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans W. Guesgen, Steffen Hölldobler |
Connectionist Inference Systems. |
Dagstuhl Seminar on Parallelization in Inference Systems |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Franz J. Kurfess |
CHCL - A Connectionist Infernce System. |
Dagstuhl Seminar on Parallelization in Inference Systems |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler |
On High-Level Inferencing and the Variable Binding Problem in Connectionist Networks. |
ÖGAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler |
A Structured Connectionist Unification Algorithm. |
AAAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber |
Horn Equational Theories and Paramodulation. |
J. Autom. Reasoning |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler |
Foundations of Equational Logic Programming |
|
1989 |
DOI RDF |
|
| 1 | Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber |
Linear Paramodulation modulo Equality. |
GWAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler, Josef Schneeberger |
A New Deductive Approach to Planning. |
GWAI |
1989 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler |
From Paramodulation to Narrowing. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hölldobler |
Horn Equality Theories and Complete Sets of Transformations. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
| 1 | Stephan Heilbrunner, Steffen Hölldobler |
The Undecidability of the Unification and Matching Problem for Canonical Theories. |
Acta Inf. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler |
A Unification Algorithms for Confluent Theories. |
ICALP |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler |
Equational Logic Programming. |
SLP |
1987 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Furbach, Steffen Hölldobler |
Modelling the Combination of Functional and Logic Programming Languages. |
J. Symb. Comput. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair |
Extended Unification and its Implementation. |
GWAI |
1985 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")