Representing Action and Change by Logic Programs (1993)

by M Gelfond, V Lifschitz
Venue:Journal of Logic Programming