| Foundations of equational logic programming S Hölldobler Springer Berlin Heidelberg, 1989 | 214 | 1989 |
| Towards a massively parallel computational model for logic programming S Hölldobler, Y Kalinke Proceedings ECAI94 Workshop on combining symbolic and connectionist …, 1994 | 179 | 1994 |
| A new deductive approach to planning S Hölldobler, J Schneeberger New Generation Computing 8, 225-244, 1990 | 171 | 1990 |
| Wissensrepräsentation und Inferenz: eine grundlegende Einführung W Bibel, S Hölldobler, T Schaub Springer-Verlag, 2013 | 145 | 2013 |
| 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 | 143 | 1999 |
| Logic programs and connectionist networks P Hitzler, S Hölldobler, AK Seda Journal of Applied Logic 2 (3), 245-272, 2004 | 141 | 2004 |
| Deduction: automated logic W Bibel, S Hölldobler, G Neugebauer Academic Press, 1993 | 109 | 1993 |
| 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 | 95 | 2012 |
| Logic programs under three-valued Łukasiewicz semantics S Hölldobler, CDP Kencana Ramli Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009 | 87 | 2009 |
| A fuzzy description logic with hedges as concept modifiers S Hölldobler, TD Khang, HP Störr Proceedings InTech/VJFuzzy 2002, 25-34, 2002 | 76 | 2002 |
| Linear deductive planning G Große, S Hölldobler, J Schneeberger Journal of Logic and Computation 6 (2), 233-262, 1996 | 70 | 1996 |
| CHCL—A connectionist inference system S Hölldobler, F Kurfeß Parallelization in Inference Systems: International Workshop Dagstuhl Castle …, 2005 | 57 | 2005 |
| Connectionist model generation: A first-order approach S Bader, P Hitzler, S Hölldobler Neurocomputing 71 (13-15), 2420-2432, 2008 | 55 | 2008 |
| Logics and networks for human reasoning S Hölldobler, CDP Kencana Ramli Artificial Neural Networks–ICANN 2009: 19th International Conference …, 2009 | 51 | 2009 |
| 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 | 51 | 2003 |
| A Fully Connectionist Model Generator for Covered First-Order Logic Programs. S Bader, P Hitzler, S Hölldobler, A Witzel IJCAI, 666-671, 2007 | 48 | 2007 |
| 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 | 47 | 2013 |
| A compact encoding of pseudo-Boolean constraints into SAT S Hölldobler, N Manthey, P Steinke Annual Conference on Artificial Intelligence, 107-118, 2012 | 45 | 2012 |
| Computing change and specificity with equational logic programs S Hölldobler, M Thielscher Annals of Mathematics and Artificial Intelligence 14, 99-133, 1995 | 45 | 1995 |
| A short overview on modern parallel SAT-solvers S Hölldobler, N Manthey, J Stecklina, P Steinke 2011 International Conference on Advanced Computer Science and Information …, 2011 | 43 | 2011 |
