Situation Calculus as Answer Set Programming.

Joohyung Lee, Ravi Palla

Browse the full AAAI paper archive.