Follow
Steffen Hölldobler
Steffen Hölldobler
Professor, TU Dresden
Verified email at iccl.tu-dresden.de
Title
Cited by
Cited by
Year
Foundations of equational logic programming
S Hölldobler
Springer Berlin Heidelberg, 1989
2091989
Towards a massively parallel computational model for logic programming
S Hölldobler, Y Kalinke
Proceedings ECAI94 Workshop on combining symbolic and connectionist …, 1994
1751994
A new deductive approach to planning
S Hölldobler, J Schneeberger
New Generation Computing 8, 225-244, 1990
1621990
Logic programs and connectionist networks
P Hitzler, S Hölldobler, AK Seda
Journal of Applied Logic 2 (3), 245-272, 2004
1442004
Approximating the semantics of logic programs by recurrent neural networks
S Hölldobler, Y Kalinke, HP Störr
Applied Intelligence 11 (1), 45-58, 1999
1421999
Wissensrepräsentation und Inferenz: eine grundlegende Einführung
W Bibel, S Hölldobler, T Schaub
Springer-Verlag, 2013
1372013
Deduction: automated logic
W Bibel, S Hölldobler, G Neugebauer, D Sannella
Academic Press, 1993
1011993
Solving periodic event scheduling problems with SAT
P Großmann, S Hölldobler, N Manthey, K Nachtigall, J Opitz, P Steinke
Advanced Research in Applied Artificial Intelligence: 25th International …, 2012
842012
Logic programs under three-valued Łukasiewicz semantics
S Hölldobler, CDPK Ramli
Logic programming 5649, 464-478, 2009
812009
A fuzzy description logic with hedges as concept modifiers
S Hölldobler, TD Khang, HP Störr
Proceedings InTech/VJFuzzy 2002, 25-34, 2002
742002
Linear deductive planning
G Große, S Hölldobler, J Schneeberger
Journal of Logic and Computation 6 (2), 233-262, 1996
651996
Connectionist model generation: A first-order approach
S Bader, P Hitzler, S Hölldobler
Neurocomputing 71 (13-15), 2420-2432, 2008
552008
CHCL-A Connectionist A Connectionist Inference System
S Hölldobler, TH Darmstadt, F Kurfeß
Parallelization in Inference Systems: International Workshop, Dagstuhl …, 1992
531992
The Fuzzy Description Logic ALCFH with Hedge Algebras as Concept Modifiers.
S Hölldobler, HP Störr, DK Tran
J. Adv. Comput. Intell. Intell. Informatics 7 (3), 294-305, 2003
512003
Logics and networks for human reasoning
S Hölldobler, CDP Kencana Ramli
Artificial Neural Networks–ICANN 2009: 19th International Conference …, 2009
482009
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
S Bader, P Hitzler, S Hölldobler, A Witzel
IJCAI, 666-671, 2007
472007
A computational logic approach to the abstract and the social case of the selection task
EA Dietz, S Hölldobler, M Ragni
Proceedings Eleventh International Symposium on Logical Formalizations of …, 2013
432013
Computing change and specificity with equational logic programs
S Hölldobler, M Thielscher
Annals of Mathematics and Artificial Intelligence 14, 99-133, 1995
431995
FluCaP: a heuristic search planner for first-order MDPs
S Hölldobler, E Karabaev, O Skvortsova
Journal of Artificial Intelligence Research 27, 419-439, 2006
422006
A logic-based approach to dynamic programming
S Hölldobler, O Skvortsova
Proceedings of the Workshop on “Learning and Planning in Markov Processes …, 2004
422004
The system can't perform the operation now. Try again later.
Articles 1–20