ML Anthology

Kim, Tae-Won

1 publications

IJCAI 2009 Circumscriptive Event Calculus as Answer Set Programming Tae-Won Kim, Joohyung Lee, Ravi Palla