Joohyung Lee, Yunsong Meng. Answer Set Programming Modulo Theories and Reasoning about Continuous Changes. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 990-996, IJCAI/AAAI, 2013. [doi]
Abstract is missing.