Lee and Meng. "Answer Set Programming Modulo Theories and Reasoning About Continuous Changes." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Lee and Meng. "Answer Set Programming Modulo Theories and Reasoning About Continuous Changes." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/lee2013ijcai-answer/)
BibTeX
@inproceedings{lee2013ijcai-answer,
title = {{Answer Set Programming Modulo Theories and Reasoning About Continuous Changes}},
author = {Lee, Joohyung and Meng, Yunsong},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {990-996},
url = {https://mlanthology.org/ijcai/2013/lee2013ijcai-answer/}
}