An Efficient Algorithm for Temporal Abduction (1998)
Daniele Theseider Dupr'e, Vittorio Brusoni, Luce Console, Paolo Terenziani
. In this paper, we consider the following form of temporal abduction: given a domain theory where each explanatory formula is augmented with a set of temporal constraints on the atoms occurring in...