Answer Set Programming Modulo Theories and Reasoning about Continuous Changes.

Joohyung Lee, Yunsong Meng

Browse the full IJCAI paper archive.