317 search results - page 3 / 64 » Spatial Reasoning: Theory and Practice |
KR
2000
Springer
13 years 8 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
ARTMED
2006
13 years 5 months ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...
IGPL
2002
13 years 5 months ago
2002
AAAI
1994
13 years 6 months ago
1994
COMMA
2006
13 years 6 months ago
2006
Abstract. This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is ...