Circumscriptive Event Calculus as Answer Set Programming.

Tae-Won Kim, Joohyung Lee, Ravi Palla

Browse the full IJCAI paper archive.