[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

H. Beck, T. Eiter, T. Krennwallner:
"Inconsistency Management for Traffic Regulations: Formalization and Complexity Results";
Vortrag: 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Toulouse, France; 26.09.2012 - 28.09.2012; in: "13th European Conference on Logics in Artificial Intelligence (JELIA 2012)", L. del Cerro, A. Herzig, J. Mengin (Hrg.); Springer, 7519 (2012), ISBN: 978-3-642-33352-1; S. 80 - 93.



Kurzfassung englisch:
Smart Cities is a vision driven by the availability of governmental data that fosters many challenging applications. One of them is the management of inconsistent traffic regulations, i.e., the handling of inconsistent traffic signs and measures in urban areas such as wrong sign posting, or errors in data acquisition in traffic sign administration software. We investigate such inconsistent traffic scenarios and formally model traffic regulations using a logic-based approach for traffic signs and measures, and logical theories describe emerging conflicts on a graph-based street model. Founded on this model, we consider major reasoning tasks including consistency testing, diagnosis, and repair, and we analyze their computational complexity for different logical representation formalisms. Our results provide a basis for an ongoing implementation of the approach.


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-33353-8_7



Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Evaluierung von ASP Programming mit Externen Zugriffen

Projektleitung Thomas Eiter:
Mein persönliches intelligentes Mobilitätsservice

Projektleitung Thomas Eiter:
Modulare HEX-Programme

Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.