Assumption-based truth maintenance in presence of temporal assertions

Reasoning about time in presence of incomplete information is central in a wide range of artificial intelligence applications. For this purpose, time must be accounted for while reasoning about assumptions. To deal with the hypothetical dimension of inference, De Kleer´s assumption-based truth maintenance approach proved valuable in many situations. However, it cannot handle temporally-qualified assertions. This paper contributes to fill the gap. It addresses the problem of performing assumption-based truth maintenance in a window-based temporal logic