Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung: Artikel in Konferenzband
Autor: André van Delden, Till Mossakowski
Titel: Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward
Buch / Sammlungs-Titel: 36th Annual Conference on Artificial Intelligence (KI 2013)
Band: 8077
Seite(n): 248 – 259
Serie / Reihe: Lecture Notes in Artificial Intelligence
Erscheinungsjahr: 2013
Verleger: Springer
Abstract / Kurzbeschreibung: Reasoning over spatial descriptions involving relations that can be described as left, right and inline has been studied extensively during the last two decades. While the fundamental nature of these relations makes reasoning about them applicable to a number of interesting problems, it also makes reasoning about them computationally hard. The key question of whether a given description using these relations can be realized is as hard as deciding satisfiability in the existential theory of the reals. In this paper we summarize the semi-decision procedures proposed so far and present the results of a random benchmark illustrating the relative effectiveness and efficiency of these procedures.
Internet: http://link.springer.com/chapter/10.1007%2F978-3-642-40942-4_22
Schlagworte: Left-Right Distinction Qualitative Spatial Reasoning Oriented Matroid Consistency Realizability Semi-Decision Procedure Benchmark
Status: Reviewed
Letzte Aktualisierung: 17. 01. 2014

 Zurück zum Suchergebnis
Autor: Automatisch generierte Seite
Zuletzt geändert am: 23. Februar 2006   impressum