ASU-CSE |
Event Calculus Answer Set programming |
Classical Logic Event Calculus as Answer Set Programming. (In working notes of ASPOCP 2008 (ICLP 2008)) |
Circumscriptive Event Calculus as Answer Set Programming. (In Proc.IJCAI 2009, to appear.) |
EC2ASP |