KIT | KIT-Bibliothek | Impressum

Evaluation of process descriptions from natural image sequences based on temporal logic programming

Schaefer, Karl; Brzoska, Christoph; Nagel, Hans-Hellmut



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 1995
Sprache Englisch
Identifikator KITopen ID: 74795
Erscheinungsvermerk In: KI-95 Activities: Workshops, Posters, Demos. Extended abstracts. 19th Annual German Conference on Artificial Intelligence, Bielefeld 1995. Ed.: L. Dreschler-Fischer. Ges. f. Informatik. S. 140-141.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page