|
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 |
