Representing actions in extended logic programs (1992)

by M Gelfond, V Lifschitz
Venue:Joint International Conference andSymposium on Logic Programming