Abductive planning with event calculus (1988)

by K Eshghi
Venue:In Proc. 5th International Conference on Logic Programming