Folgen
Steffen Hölldobler
Steffen Hölldobler
Professor, TU Dresden
Bestätigte E-Mail-Adresse bei iccl.tu-dresden.de
Titel
Zitiert von
Zitiert von
Jahr
Foundations of equational logic programming
S Hölldobler
Springer Berlin Heidelberg, 1989
2061989
Towards a new massively parallel computational model for logic programming
S Hölldobler, Y Kalinke, FW Ki
In ECAI’94 workshop on Combining Symbolic and Connectioninst Processing, 1991
1711991
A new deductive approach to planning
S Hölldobler, J Schneeberger
New Generation Computing 8 (3), 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
1412004
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
1371999
Wissensrepräsentation und Inferenz: eine grundlegende Einführung
W Bibel, S Hölldobler, T Schaub
Springer-Verlag, 2013
1322013
Deduction: automated logic
W Bibel, S Hölldobler, G Neugebauer, D Sannella
Academic Press, 1993
1041993
Solving periodic event scheduling problems with SAT
P Großmann, S Hölldobler, N Manthey, K Nachtigall, J Opitz, P Steinke
International conference on industrial, engineering and other applications …, 2012
812012
Logic programs under three-valued Łukasiewicz semantics
S Hölldobler, CDP Kencana Ramli
International Conference on Logic Programming, 464-478, 2009
792009
A fuzzy description logic with hedges as concept modifiers
S Hölldobler, TD Khang, HP Störr
Proceedings InTech/VJFuzzy 2002, 25-34, 2002
732002
Linear deductive planning
G Große, S Hölldobler, J Schneeberger
Journal of Logic and Computation 6 (2), 233-262, 1996
671996
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 inference system
S Hölldobler, F Kurfeß
Parallelization in Inference Systems, 318-342, 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
502003
Logics and networks for human reasoning
S Hölldobler, CDP Kencana Ramli
International Conference on Artificial Neural Networks, 85-94, 2009
472009
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
432004
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
S Bader, P Hitzler, S Hölldobler, A Witzel
IJCAI, 666-671, 2007
422007
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
Computing change and specificity with equational logic programs
S Hölldobler, M Thielscher
Annals of Mathematics and Artificial Intelligence 14 (1), 99-133, 1995
421995
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
412013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20