Temporal logic programming and its relation to constraint logic programming C Brzoska Proc. of the 1991 Logic Programming Symposium,, 661-677, 1991 | 52 | 1991 |
Temporal logic programming with metric and past operators C Brzoska M. Fisher and R. Owens, editors, Executable Modal and Temporal Logics …, 1995 | 39 | 1995 |
Programming in metric temporal logic C Brzoska Theoretical computer science 202 (1-2), 55-125, 1998 | 36 | 1998 |
Temporal logic programming with bounded universal modality goals C Brzoska | 33 | 1993 |
Temporal Logic Programming in Dense Time. C Brzoska ILPS, 303-317, 1995 | 17 | 1995 |
“F-Limette” fuzzy logic programming integrating metric temporal extensions K Schäfer, C Brzoska Journal of Symbolic Computation 22 (5-6), 725-727, 1996 | 11 | 1996 |
Temporal logic programming with metric and past operators based on constraint logic programming C Brzoska Universität Karlsruhe, Fakultät für Informatik, 1993 | 9 | 1993 |
Temporal Logic Programming Applied to Image Sequence Evaluation. C Brzoska, K Schäfer C. Beierle and L. Plümer, editors, Logic Programming: Formal Methods and …, 1995 | 8 | 1995 |
Temporal-logisches Programmieren C Brzoska Universität Karlsruhe, 1993 | 8 | 1993 |
Dependency unification grammar for prolog F Steimann, C Brzoska Computational Linguistics 21 (1), 95-102, 1995 | 7 | 1995 |
LIMETTE: Logic programming integrating metric temporal extensions, language definition and user manual C Brzoska, K Schäfer Interner Bericht 9, 93, 1993 | 5 | 1993 |
KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung A Bockmayr, C Brzoska, P Deussen, I Varsek Informatik-Forschung und Entwicklung 6, 128-140, 1991 | 5 | 1991 |
Temporal logic programming: A survey C Brzoska Universität Karlsruhe. Fakultät für Informatik, 1989 | 4 | 1989 |
Temporales logisches Programmieren C Brzoska Informatik Forschung und Entwicklung 11, 61-68, 1996 | | 1996 |
LIMETTE: Logic Programming Integrating Metric Temporal Extensions: an Extension of KA-Prolog for Temporal Reasoning: Language Specification User Manual C Brzoska, K Schäfer Universität Karlsruhe. Fakultät für Informatik, 1993 | | 1993 |
Benutzeranleitung für die KA-Prolog-Sprachfamilie M Bauer, A Bockmayer, C Brzoska Universität Karlsruhe. Fakultät für Informatik, 1991 | | 1991 |
KA-Prolog: Sprachdefinition [KA-Prolog: language definition] A Bockmayer, C Brzoska, N Lindenberg Universität Karlsruhe. Fakultät für Informatik, 1991 | | 1991 |
Lopster: Sprachdefinition C Hintermeier, C Brzoska, A Biere Universität Karlsruhe. Fakultät für Informatik, 1991 | | 1991 |
Approximation als Veri kationstechnik bei Modellierung mittels kontinuierlicher Zeit VA Wagner, P Deussen, C Brzoska | | |