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
2131989
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
1711990
Wissensrepräsentation und Inferenz: eine grundlegende Einführung
W Bibel, S Hölldobler, T Schaub
Springer-Verlag, 2013
1452013
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
1431999
Logic programs and connectionist networks
P Hitzler, S Hölldobler, AK Seda
Journal of Applied Logic 2 (3), 245-272, 2004
1412004
Deduction: automated logic
W Bibel, S Hölldobler, G Neugebauer
Academic Press, 1993
1091993
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
942012
Logic programs under three-valued Łukasiewicz semantics
S Hölldobler, CDP Kencana Ramli
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
862009
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
701996
CHCL—A connectionist inference system
S Hölldobler, F Kurfeß
Parallelization in Inference Systems: International Workshop Dagstuhl Castle …, 2005
572005
Connectionist model generation: A first-order approach
S Bader, P Hitzler, S Hölldobler
Neurocomputing 71 (13-15), 2420-2432, 2008
552008
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
502009
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
462013
A compact encoding of pseudo-Boolean constraints into SAT
S Hölldobler, N Manthey, P Steinke
Annual Conference on Artificial Intelligence, 107-118, 2012
452012
Computing change and specificity with equational logic programs
S Hölldobler, M Thielscher
Annals of Mathematics and Artificial Intelligence 14, 99-133, 1995
451995
Improving resource-unaware SAT solvers
S Hölldobler, N Manthey, A Saptawijaya
Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010
432010
The system can't perform the operation now. Try again later.
Articles 1–20