Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward
A. van Delden, und T. Mossakowski. 36th Annual Conference on Artificial Intelligence (KI 2013), Volume 8077 von Lecture Notes in Artificial Intelligence, Seite 248--259. Springer, (2013)
Zusammenfassung
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.
%0 Conference Paper
%1 vanDeldenMossakowski13
%A van Delden, André
%A Mossakowski, Till
%B 36th Annual Conference on Artificial Intelligence (KI 2013)
%D 2013
%I Springer
%K Benchmark Consistency Distinction Left-Right Matroid Oriented Procedure Qualitative Realizability Reasoning Semi-Decision Spatial
%P 248--259
%T Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward
%U http://link.springer.com/chapter/10.1007%2F978-3-642-40942-4_22
%V 8077
%X 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.
@inproceedings{vanDeldenMossakowski13,
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.
},
added-at = {2016-08-05T15:59:03.000+0200},
author = {van Delden, Andr{\'e} and Mossakowski, Till},
biburl = {https://www.bibsonomy.org/bibtex/2c35afb1cf0a483ee91e0e76e41463e2a/tillmo},
booktitle = {36th Annual Conference on Artificial Intelligence (KI 2013)},
interhash = {4a4e53a3ba8033fcec93782949cc782d},
intrahash = {c35afb1cf0a483ee91e0e76e41463e2a},
keywords = {Benchmark Consistency Distinction Left-Right Matroid Oriented Procedure Qualitative Realizability Reasoning Semi-Decision Spatial},
pages = {248--259},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
status = {Reviewed},
timestamp = {2016-08-05T15:59:03.000+0200},
title = {Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward},
url = {http://link.springer.com/chapter/10.1007%2F978-3-642-40942-4_22},
volume = 8077,
year = 2013
}