On-line Qualitative Temporal Reasoning with Explanation

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.

• Type: Conference
• Year: 2006
• Where: FLAIRS
• Authors: Debasis Mitra, Florent Launay
• Keywords: Artificial Intelligence, Constraint Reasoning, FLAIRS 2006, Incremental Reasoning, Qualitative Temporal Reasoning