Reasoning About Actions and Change in Answer Set Programming

Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael. Reasoning About Actions and Change in Answer Set Programming. In Vladimir Lifschitz, Ilkka Niemelä, editors, Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings. Volume 2923 of Lecture Notes in Computer Science, pages 61-73, Springer, 2004. [doi]

Abstract

Abstract is missing.