Verifying Properties of Infinite Sequences of Description Logic Actions

Baader, Franz; Liu, Hongkai; Ul Mehdi, A. ¹
¹ Karlsruher Institut für Technologie (KIT)

Download

Originalveröffentlichung
DOI: 10.3233/978-1-60750-606-5-53

Scopus
Zitationen: 14

Seitenaufrufe: 127
seit 11.04.2019

Zugehörige Institution(en) am KIT	Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp	Proceedingsbeitrag
Publikationsjahr	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
Seiten	53-60
Externe Relationen	Abstract/Volltext
Nachgewiesen in	Scopus OpenAlex