2214 search results - page 102 / 443 » Complexity of Reasoning |
DLOG
2008
15 years 5 months ago
2008
Abstract. We investigate the concept product as an expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural ty...
124
click to vote
RSFDGRC
2005
Springer
15 years 8 months ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
116
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents an approach for reasoning about action and change which appeals to the principle of Occam’s razor— roughly stating that the simplest explanations ...
153
Voted
AIIA
1991
Springer
15 years 6 months ago
1991
Springer
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
109
Voted
DLOG
2007
15 years 5 months ago
2007
Abstract. To make ABox reasoning scalable for large ABoxes in description logic (DL) knowledge bases, we develop a method for partitioning the ABox so that specific kinds of reaso...