On-line Qualitative Temporal Reasoning with Explanation

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


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.