Jason Jingshi Li. Qualitative Spatial and Temporal Reasoning with Answer Set Programming. In IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012. pages 603-609, IEEE, 2012. [doi]
@inproceedings{Li12-2, title = {Qualitative Spatial and Temporal Reasoning with Answer Set Programming}, author = {Jason Jingshi Li}, year = {2012}, doi = {10.1109/ICTAI.2012.87}, url = {http://dx.doi.org/10.1109/ICTAI.2012.87}, researchr = {https://researchr.org/publication/Li12-2}, cites = {0}, citedby = {0}, pages = {603-609}, booktitle = {IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012}, publisher = {IEEE}, isbn = {978-1-4799-0227-9}, }