3776 search results - page 137 / 756 » Partition-Based Logical Reasoning |
158
Voted
WLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
132
Voted
MICAI
2000
Springer
15 years 7 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
129
click to vote
AAAI
2008
15 years 5 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
120
Voted
FLAIRS
2008
15 years 5 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
119
Voted
CI
1998
15 years 3 months ago
1998
This paper presents a point based spatio-temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a t...