Left-Right Distinction Qualitative Spatial Reasoning Oriented Matroid Consistency Realizability Semi-Decision Procedure Benchmark

Publications for keyword "Left-Right Distinction Qualitative Spatial Reasoning Oriented Matroid Consistency Realizability Semi-Decision Procedure Benchmark"
to appear
André van Delden and Till Mossakowski, Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward, in: 36th Annual Conference on Artificial Intelligence (KI 2013), Springer, to appear