400 search results - page 21 / 80 » Singularities in Qualitative Reasoning |
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
AMAI
2000
Springer
14 years 1 months ago
2000
Springer
Several formalisms have been proposed for qualitative reasoning about regions and their topological relations in space. These formalisms, based on pairwise relations, do not allow...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we present PelletSpatial, a qualitative spatial reasoning engine implemented on top of Pellet. PelletSpatial provides consistency checking and query answering over s...
CI
2004
13 years 8 months ago
2004
In recent years, there has been a large amount of disparate work concerning the representation and reasoning with qualitative preferential information by means of approaches to no...
AIIA
1995
Springer
14 years 9 days ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...