Debasis Mitra, Florent Launay
This work is a confluence of three problems in constraint reasoning: qualitative temporal reasoning (QTR), incremental reasoning, and explanation generation. Our primary objective is to detect the cause of inconsistency in an incremental version of the QTR problem.
Subjects: 3.6 Temporal Reasoning; 15.2 Constraint Satisfaction
Submitted: Feb 13, 2006