135
Voted
FLAIRS
2006
15 years 4 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...