海量图书期刊资源,随时随地畅享阅读乐趣
Logic programs and connectionist networksPascal Hitzler; Steffen Hölldobler; Anthony Karel Seda · 2004
Horn equational theories and paramodulationUlrich Furbach; Steffen Hölldobler; Joachim Schreiber · 1989
A new deductive approach to planningSteffen Hölldobler; Josef Schneeberger · 1990
On the artificial intelligence paradoxHölldobler, Steffen · Behavioral and Brain Sciences · 1993
Combining Logic Programming and Equation SolvingHÖLLDOBLER, STEFFEN · Journal of Logic and Computation · 1991
Cognitive Reasoning: A Personal ViewFurbach, Ulrich; Hölldobler, Steffen; Ragni, Marco; Schon, Claudia; Stolzenburg, Frieder · KI - Künstliche Intelligenz · 2019
Approximating the Semantics of Logic Programs by Recurrent Neural NetworksSteffen Hölldobler; Yvonne Kalinke; Hans-Peter Störr · 1999