Steffen Hölldobler 2006 Prof. Steffen Hölldobler

Articles at Workshops (Articles which later appeared in journals, books, or proceedings are not mentioned.)

W1: Horn Clause Logic in a Functional Environment. Conference Report of the 9th annual conference "Berichte aus den Informatikinstituten" of the Österreichischen Gesellschaft für Informatik (Radermacher, Wirsing, eds.), Universität Passau, MIP-8604: 1986 (together with U. Furbach).

W2: SLDE-Paramodulation. In: Extended Abstracts of the first German Workshop Term Rewriting: Theory and Applications (Müller, Ganzinger, eds.), SEKI-Report SR-89-02, Universität Kaiserslautern: 1989 (together with U. Furbach and J. Schreiber).

W3: Spatial Reasoning in a Connectionist Inference System. In: Massive Parallelität und Inferenz (Güsgen, Hölldobler, Kurfess, Suttner, eds.), AIDA-91-16, TU Darmstadt: 1991 (together with F. Kurfess).

W4: On Disjunction in Linear Logic Programming. In: Proceedings of the Workshop on Linear Logic and Logic Programming (D. Miller, ed.). MS-CIS-92-80, Univ.\ of Pennsylvania, School of Engineering and Applied Science, Computer and Information Science Department: 1992 (together with S. Brüning, G. Große, J. Schneeberger, U. Sigmund and M. Thielscher).

W5: Disjunction in Plan Generation by Equational Logic Programming. Proceedings of the 7. Workshop Planen und Konfigurieren (A. Hotz, ed.). Arbeitspapiere der GMD 723, 18-26: 1993 (together with S. Brüning, G. Große, J. Schneeberger, U. Sigmund and M. Thielscher).

W6: AC1-Unification/Matching in Linear Logic Programming. In: Proceedings of the Sixth International Workshop on Unification (F. Baader, J. Siekmann, W. Snyder, eds.). BUCS Tech Report 93-004, Boston University, Computer Science Department: 1993 (together with J. Schneeberger and M. Thielscher).

W7: On Logic Programming with Multisets. In: Proceedings of the Workshop on Sets at the International Conference on Logic Programming (G. Rossi, ed.): 1993 (together with M. Thielscher).

W8: On Logic, Change, and Specificity. In: Proceedings of the Workshop on Reasoning about Action & Change at the International Joint Conference on Artificial Intelligence (B. Fronhöfer, ed.), 3-7: 1993 (together with M. Thielscher).

W9: Towards a Massively Parallel Computational Model for Logic Programming. In: Proceedings of the ECAI94 Workshop on Combining Symbolic and Connectionist Processing, ECCAI, 68-77. 1994 (together with Y. Kalinke).

W10: A Resource-Oriented Deductive Approach towards Hierarchical Planning. In: Working Notes of the IJCAI Workshop on Nonmonotonic Reasoning, Action, and Change. 39-53: 1995 (together with K. Eder).

W11: Objects, Specificity, Logic, and Change. In: KI-95 Activities: Workshops, Posters, Demos (L. Dreschler-Fischer, S. Pribbenow, eds.). Gesellschaft für Informatik e.V. Bonn, 37-42: 1995 (together with M. Thielscher).

W12: Equational Logic and Theories of Action. Proceedings of the APPIA-GULP-PRODE Joint Conference on Declarative Programming, 111-123: 1996.

W13: Reasoning about Complex Actions. In: Seventh International Workshop on Nonmonotonic Reasoning - Papers on Action and Causality (V. Lifschitz ed.), 1-9: 1998 (together with H. P. Stoerr).

W14: Computational Logic - Ein internationaler Master-Studiengang. In: Neue Entwicklungen in der Informatikausbildung; Symposium im Rahmen der GI--Jahrestagung Informatik'98 (S. Conrad, G. Saake, I. Schmitt, eds.), 13-20: 1998.

W15: Challenge Problems for the Integration of Logic and Connectionist Systems. In: Proceedings 14. Workshop Logische Programmierung (F. Bry, U. Geske, D. Seipel, eds.), GMD Report 90, 161-170: 2000.

W16: A Logic-based Approach to Dynamic Programming. In: Learning and Planning in Markov Processes--Advances and Challenges, Papers from the AAAI Workshop, Technical Report WS-04-08, AAAI Press, Menlo Park, California, 31-36: 2004 (together with O. Skvortsova).

W17: LIFT-UP: Lifted First-Order Planning under Uncertainty. In: Proceedings 6th International Workshop on the Implementation of Logics, 80-99: 2006 (together with O. Skvortsova).

W18: Extracting Propositional Rules from Feed-Forward Neural Networks -- A New Decompositional Approach. In: Proceedings of the 3rd International Workshop on Neuro-Symbolic Learning and Reasoning, NESY, CEUR-Workshop Proceedings, 230: 2007, (together with S.Bader and V. Mayer-Eichberger).

W19: Guiding Backprob by Inserting Rules. In: Proceedings of the 4th International Workshop on Neuro-Symbolic Learning and Reasoning, NESY, CEUR-Workshop Proceedings: 2008 (to appear), (together with S.Bader and N. C. Marquez).