%0 Journal Article %1 journals/tplp/WalegaSB17 %A Walega, Przemyslaw Andrzej %A Schultz, Carl %A Bhatt, Mehul %D 2017 %J Theory Pract. Log. Program. %K dblp %N 2 %P 205-225 %T Non-monotonic spatial reasoning with answer set programming modulo theories. %U http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#WalegaSB17 %V 17

@article{journals/tplp/WalegaSB17, added-at = {2023-08-22T00:00:00.000+0200}, author = {Walega, Przemyslaw Andrzej and Schultz, Carl and Bhatt, Mehul}, biburl = {https://www.bibsonomy.org/bibtex/2251fdacd8c1e30d3410550e0880d1907/dblp}, ee = {https://www.wikidata.org/entity/Q62623612}, interhash = {5c4a4723533a236f178d8125fa922cac}, intrahash = {251fdacd8c1e30d3410550e0880d1907}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = 2, pages = {205-225}, timestamp = {2024-04-09T05:34:50.000+0200}, title = {Non-monotonic spatial reasoning with answer set programming modulo theories.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp17.html#WalegaSB17}, volume = 17, year = 2017 }