KIT | KIT-Bibliothek | Impressum | Datenschutz

Verifying Properties of Infinite Sequences of Description Logic Actions

Baader, Franz; Liu, Hongkai; Ul Mehdi, A.

Open Access Logo


Download
Originalveröffentlichung
DOI: 10.3233/978-1-60750-606-5-53
Scopus
Zitationen: 9
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2010
Sprache Englisch
Identifikator ISBN: 978-1-60750-605-8
KITopen-ID: 1000093226
Erschienen in ECAI 2010: 19th European Conference on Artificial Intelligence, 16 - 20 August 2010, Lisbon, Portugal, including Prestigious Applications of Artificial Intelligence (PAIS-2010), proceedings
Verlag IOS Press, Amsterdam
Seiten 53-60
Externe Relationen Abstract/Volltext
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page