859 search results - page 37 / 172 » Abduction in Temporal Reasoning |
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum sa...
GIS
1992
ACM
14 years 29 days ago
1992
ACM
A new approach to representing qualitative spatial knowledge and to spatial reasoning is presented. This approach is motivated by cognitive considerations and is based on relative ...
IJCAI
2007
13 years 10 months ago
2007
The temporal boundaries of many real–world events are inherently vague. In this paper, we discuss the problem of qualitative temporal reasoning about such vague events. We show ...
AI
2004
Springer
13 years 8 months ago
2004
Springer
In this paper we present a new approach to reason about actions and causation which is based on a conditional logic. The conditional implication is interpreted as causal implicati...
FLAIRS
2009
13 years 6 months ago
2009
This paper presents an approach to creating flexible general-logic representations from language for use in high-level reasoning tasks in cognitive modeling. These representations...