Walega. "Reasoning About Space and Change with Answer Set Programming Modulo Theories." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Walega. "Reasoning About Space and Change with Answer Set Programming Modulo Theories." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/walega2016ijcai-reasoning/)
BibTeX
@inproceedings{walega2016ijcai-reasoning,
title = {{Reasoning About Space and Change with Answer Set Programming Modulo Theories}},
author = {Walega, Przemyslaw Andrzej},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {4038-4039},
url = {https://mlanthology.org/ijcai/2016/walega2016ijcai-reasoning/}
}