2214 search results - page 124 / 443 » Complexity of Reasoning |
130
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
Recent years have seen the advent of large and complex ontologies, most notably in the medical domain. As a consequence, structuring mechanisms for ontologies are nowadays viewed ...
134
click to vote
ROBOCUP
1999
Springer
15 years 7 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
132
click to vote
SPATIALCOGNITION
2004
Springer
15 years 8 months ago
2004
Springer
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
141
click to vote
RR
2010
Springer
15 years 1 months ago
2010
Springer
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
118
click to vote
KI
2006
Springer
15 years 3 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...