Efficient temporal reasoning in the cached event calculus (1996)

by L Chittaro, A Montanari
Venue:Computational Intelligence