Representing Actions and Change by Logic Programs. (1993)

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