On Deductive Planning and the Frame Problem (1992)

by S Holldobler
Venue:Proceedings of the International Conference on Logic Programming and Automated Reasoning (LPAR), volume 624 of LNAI