2 search results - page 1 / 1 » On-line Qualitative Temporal Reasoning with Explanation |
FLAIRS
2006
13 years 6 months ago
2006
This work is a confluence of three problems in constraint reasoning: qualitative temporal reasoning (QTR), incremental reasoning, and explanation generation. Our primary objective...
AIIA
1995
Springer
13 years 8 months ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...