Reasoning About Actions and Change in Answer Set Programming.

Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael

Browse the full LPNMR paper archive.