Publications

1

A. Bockmayr, C. Brzoska, P. Deussen, and I. Varsek. KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Informatik Forschung und Entwicklung, 6:128-140, 1991.

2

C. Brzoska. An approach to goal driven strategies for the Knuth-Bendix completion procedure. In First German Workshop Term Rewriting: Theory and Applications. Universität Kaiserslautern, SEKI-Report SR-89-02, 1989.

3

C. Brzoska. Der Templog-Kalkül ist eine Instanz des CLP-Schema. In N. Fuchs and U. Furbach, editors, Proc. of the Workshop ``Logik als Programmiersprache'', GWAI '90, number 13/90 in Bericht. Universität Koblenz-Landau, Inst. für Informatik, 1990.

4

C. Brzoska. Temporal logic programming and its relation to constraint logic programming. In Proc. of the 1991 Logic Programming Symposium, pages 661-677, San Diego, California, October 1991. MIT Press.

5

C. Brzoska. Temporal logic programming based on CLP. In H. Boley, U. Furbach, and W.-M. Lippe, editors, Sprachen für KI-Anwendungen, Konzepte - Methoden - Implementierungen, pages 96-101. Universität Münster, Intern. Bericht der Fak. für angewandte Mathematik und Informatik, 1992.

6

C. Brzoska. Temporal logic programming with bounded universal (modality) goals. In Proc. of the 10th International Conference on Logic Programming, pages 239-256, Budapest, Hungary, 1993. MIT Press, Cambridge, MA.

7

C. Brzoska. Temporal-logisches Programmieren. PhD thesis, Universität Karlsruhe, Fak. für Informatik, 1993.

8

C. Brzoska. The challenge of temporal logic programming. In F. D. Anger, H. W. Güsgen, G. Ligozat, and R. V. Rodriguez, editors, Proc. of the ECAI 94 Workshop on Spatial and Temporal Reasoning, 1994.

9

C. Brzoska. Temporal logic programming in dense time. In J. Lloyd, editor, Proc. of the 1995 Intern. Logic Programming Symposium, pages 303-317, Portland, Oregon, 1995. MIT Press.

10

C. Brzoska. Temporales logisches Programmieren. Informatik Forschung und Entwicklung, 11:61-68, 1996.

11

C. Brzoska and K. Schäfer. Temporal logic programming applied to image sequence evaluation. In C. Beierle and L. Plümer, editors, Logic Programming: Formal Methods and Practical Applications, chapter 13, pages 381-395. Elsevier Science B. V. / North Holland, 1995.

12

K. Schäfer, C. Brzoska, and H.-H. Nagel. Evaluation of process descriptions from natural image sequences based on temporal logic programming. In L. Dreschler-Fischer and S. Pribbenow, editors, KI-95 Activities - Extended Abstracts, 19th Annual German Conference on Artificial Intelligence KI-95, pages 140-141, Bielefeld, 1995. Gesellschaft für Informatik e.V.

13

F. Steimann and C. Brzoska. Dependency unification grammar for prolog. Computational Linguistics, 21(1):95-102, 1995.