Steffen Hölldobler 2006 Prof. Steffen Hölldobler

Articles in Books

B1: Equations, Order-Sortedness, and Inheritance in Logic Programming. In: Advances in Logic Programming and Automated Reasoning (R. Wilkerson, ed.), ABLEX, 49-95: 1992 (together with U. Furbach).

B2: Equality Inferencing. Encyclopedia of Artificial Intelligence (S. C. Shapiro, ed.), WILEY, 475-476: 1992.

B3: CHCL - A Connectionist Inference System. In: Parallelization in Inference Systems (B. Fronhöfer, G. Wrightson, eds.), Springer, LNAI 590, 318-342: 1992 (together with F. Kurfess).

B4: Connectionist Inference Systems. In: Parallelization in Inference Systems (B. Fronhöfer,G. Wrightson, eds.), Springer, LNAI 590, 82-120: 1992 (together with H. W. Güsgen).

B5: Konnektionenreduktion. In W. Bibel: Deduktionssysteme, Oldenbourg, 118-131: 1992 (together with W. Bibel).

B6: Connection Reduction. In W. Bibel: Deduction. Academic Press, 109-121: 1993 (together with W. Bibel; Translation of the previously mentioned article).

B7: Massively Parallel Reasoning. In: Automated Deduction - A Basis for Applications II (W. Bibel and P.H. Schmitt eds.), Kluwer Academic Publishers, 291-321: 1998 (together with S.-E. Bornscheuer, Y. Kalinke and A. Strohmaier).

B8: A Recursive Neural Network for Reflexive Reasoning. In: Hybrid Neural Symbolic Integration (S. Wermter and R. Sun eds.), Lecture Notes in Artificial Intelligence 1778, Springer: 2000 (together with Y. Kalinke and J. Wunderlich).

B9: Complex Plans in the Fluent Calculus. In: Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel (S. Hölldobler ed.), Kluwer Academic Publishers: 2000 (together with H.-P. Störr).

B10: The Core Method: Connectionist Model Generation for First-Order Logic Programs. In: Perspectives of Neural-Symbolic Integration (B. Hammer and P. Hitzler eds.), Springer, Studies in Computational Intelligence 7, 205-232: 2007 (together with S. Bader, P. Hitzler and A. Witzel).