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
1781994
A new deductive approach to planning
S Hölldobler, J Schneeberger
New Generation Computing 8, 225-244, 1990
1681990
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
1441999
Logic programs and connectionist networks
P Hitzler, S Hölldobler, AK Seda
Journal of Applied Logic 2 (3), 245-272, 2004
1432004
Wissensrepräsentation und Inferenz: eine grundlegende Einführung
W Bibel, S Hölldobler, T Schaub
Springer-Verlag, 2013
1412013
Deduction: automated logic
W Bibel, S Hölldobler, G Neugebauer
Academic Press, 1993
1101993
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
882012
Logic programs under three-valued Łukasiewicz semantics
S Hölldobler, CDP Kencana Ramli
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
842009
A fuzzy description logic with hedges as concept modifiers
S Hölldobler, TD Khang, HP Störr
Proceedings InTech/VJFuzzy 2002, 25-34, 2002
762002
Linear deductive planning
G Große, S Hölldobler, J Schneeberger
Journal of Logic and Computation 6 (2), 233-262, 1996
691996
CHCL—A connectionist inference system
S Hölldobler, F Kurfeß
Parallelization in Inference Systems: International Workshop Dagstuhl Castle …, 2005
582005
Connectionist model generation: A first-order approach
S Bader, P Hitzler, S Hölldobler
Neurocomputing 71 (13-15), 2420-2432, 2008
532008
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
522003
Logics and networks for human reasoning
S Hölldobler, CDP Kencana Ramli
Artificial Neural Networks–ICANN 2009: 19th International Conference …, 2009
492009
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
S Bader, P Hitzler, S Hölldobler, A Witzel
IJCAI, 666-671, 2007
482007
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
452013
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
442006
A logic-based approach to dynamic programming
S Hölldobler, O Skvortsova
AAAI-04 workshop on learning and planning in Markov Processes–advances and …, 2004
442004
Computing change and specificity with equational logic programs
S Hölldobler, M Thielscher
Annals of Mathematics and Artificial Intelligence 14, 99-133, 1995
441995
The system can't perform the operation now. Try again later.
Articles 1–20