%0 Conference Paper %1 conf/lpnmr/WalegaBS15 %A Walega, Przemyslaw Andrzej %A Bhatt, Mehul %A Schultz, Carl %B LPNMR %D 2015 %E Calimeri, Francesco %E Ianni, Giovambattista %E Truszczynski, Miroslaw %I Springer %K dblp %P 488-501 %T ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#WalegaBS15 %V 9345 %@ 978-3-319-23263-8

@inproceedings{conf/lpnmr/WalegaBS15, added-at = {2023-08-22T00:00:00.000+0200}, author = {Walega, Przemyslaw Andrzej and Bhatt, Mehul and Schultz, Carl}, biburl = {https://www.bibsonomy.org/bibtex/22bb20e5b164cd9ff11aba1695788224c/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2015}, editor = {Calimeri, Francesco and Ianni, Giovambattista and Truszczynski, Miroslaw}, ee = {https://www.wikidata.org/entity/Q62623659}, interhash = {7ce24b77e22a78564a573692ed40df81}, intrahash = {2bb20e5b164cd9ff11aba1695788224c}, isbn = {978-3-319-23263-8}, keywords = {dblp}, pages = {488-501}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:45:42.000+0200}, title = {ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#WalegaBS15}, volume = 9345, year = 2015 }