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

Home

 

Reference

 

Examples

 

Download