Sciweavers

313 search results - page 3 / 63
» Automated Qualitative Domain Abstraction
Sort
View
KR
1998
Springer
13 years 10 months ago
Foundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
Volker Haarslev, Carsten Lutz, Ralf Möller
AAMAS
2008
Springer
13 years 5 months ago
Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces
Abstract. We present a novel logic-based framework to automate multi-issue bilateral negotiation in e-commerce settings. The approach exploits logic as communication language among...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
GIS
1992
ACM
13 years 10 months ago
Using Orientation Information for Qualitative Spatial Reasoning
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...
Christian Freksa
TIME
2005
IEEE
13 years 11 months ago
Exploiting the Relationship between IA Networks and Finite Domain CSPs
We exploit the fact that qualitative Interval Algebra (IA) network problems are finite domain CSPs. In the first part of the paper, we show how to convert a qualitative IA network ...
André Trudel, Haiyi Zhang