Steffen Hölldobler 2006 Prof. Steffen Hölldobler

Internal Reports (Reports which later appeared in journals, books, or proceedings are not mentioned.)

R1: Functional and Logic Programming. University of the Federal Armed Forces Munich, Technical Report Nr. 8408: 1984.

R2: The Combination of Functional and Logic Programming Languages. University of the Federal Armed Forces Munich, Technical Report Nr. 8409: 1984 (together with U. Furbach).

R3: FHCL - Functions in Horn Clause Logic, A Guide to a Programming System. University of the Federal Armed Forces Munich, Technical Report Nr. 8602: 1986 (together with U. Furbach and T. Laußermair).

R4: FHCL - Functions in Horn Clause Logic. TU München, Report FKI-86-88: 1988 (together with U. Furbach).

R5: A Connectionist Unification Algorithm. International Computer Science Institute, Berkeley, TR-90-012: 1990.

R6: CHCL: A Connectionist Inference System for Horn Logic based on the Connection Method and using Limited Resources. International Computer Science Institute, Berkeley, TR-90-042: 1990.

R7: Massive Parallelität und Inferenz. AIDA-91-16, TU Darmstadt: 1991 (together with H. W. Güsgen, F. Kurfess and C. Suttner).

R8: Logische Programmierung. AIDA-92-10, TU Darmstadt: 1992.

R9: The Parallel Complecity of the AL Concept Language. TU Dresden: 1994 (together with D. Eisenhuth).

R10: Constraint Equational Logic Programming and Resource-Based Partial Order Planning. TU Dresden, WV-96-08: 1996 (together with J. Schneeberger).

R11: Properties vs. Resources: Solving Simple Frame Problems. AIDA-96-01, TU Darmstadt: 1996 (together with M. Thielscher).

R12: The GSAT/SA-Familiy - Relating greedy satisifability testing to simulated annealing. AIDA-94-17, TU Darmstadt: 1994 (together with H. Hoos, A. Strohmaier and A. Weiss).

R13: The Undecidability of the Entailment Problem in the Fluent and Situation Calculus. WV-99-06, TU Dresden: 1999.

R14: Planning as Search Problem. WV-99-06, TU Dresden: 1999 (together with L. Strassburger).

R15: Different Approaches to the Semantics of Workflow. TUD-FI01-04, TU Dresden: 2001 (together with P. Buchholz, M. Droste, B. Ganter, K. Meyer-Wegener, R. Pöschel, H. Reichel, M. Thielscher and H. Vogler).

R16: 17. WLP: Workshop Logische Programmierung 2002, TUD-FI03-03, TU Dresden: 2003 (together with B. Fronhöfer).

R17: From the Calculus of Structures to Term Rewriting Systems. WV-04-03, TU Dresden: 2004 (together with O. Kahramanogullari).

R18: The Fuzzy Linguistic Description Logic ALC_FL. WV-06-02, TU Dresden: 2006 (together with Dzung Dinh-Khac and Dinh-Khang Tran).