Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch

Publications Search - Details

Publication type: Article in Proceedings
Author: André van Delden, Till Mossakowski
Title: Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward
Book / Collection title: 36th Annual Conference on Artificial Intelligence (KI 2013)
Volume: 8077
Page(s): 248 – 259
Series: Lecture Notes in Artificial Intelligence
Year published: 2013
Publisher: Springer
Abstract: 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
Keywords: Left-Right Distinction Qualitative Spatial Reasoning Oriented Matroid Consistency Realizability Semi-Decision Procedure Benchmark
Status: Reviewed
Last updated: 17. 01. 2014

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum