Foundations of equational logic programming S Hölldobler Springer Berlin Heidelberg, 1989 | 213 | 1989 |
Towards a massively parallel computational model for logic programming S Hölldobler, Y Kalinke Proceedings ECAI94 Workshop on combining symbolic and connectionist …, 1994 | 178 | 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 | 94 | 2012 |
Logic programs under three-valued Łukasiewicz semantics S Hölldobler, CDP Kencana Ramli Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009 | 86 | 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 |
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 |
Logics and networks for human reasoning S Hölldobler, CDP Kencana Ramli Artificial Neural Networks–ICANN 2009: 19th International Conference …, 2009 | 50 | 2009 |
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 | 46 | 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 |
Improving resource-unaware SAT solvers S Hölldobler, N Manthey, A Saptawijaya Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010 | 43 | 2010 |