Gelfond, M. and Lifschitz, V. 1993. Representing Actions and Change by Logic Programs, In J. of Logic Programming 17, 301?323, 1993.

Languages mentioned

• Action Languages {1990}