Non-monotonic spatial reasoning with answer set programming modulo theories (bibtex)

by Przemyslaw Andrzej Walega, Carl P. L. Schultz and Mehul Bhatt

Reference:

Non-monotonic spatial reasoning with answer set programming modulo theories (Przemyslaw Andrzej Walega, Carl P. L. Schultz and Mehul Bhatt), In Theory Pract. Log. Program., volume 17, 2017.

Bibtex Entry:

@article{DBLP:journals/tplp/WalegaSB17,
  author    = {Przemyslaw Andrzej Walega and
               Carl P. L. Schultz and
               Mehul Bhatt},
  title     = {Non-monotonic spatial reasoning with answer set programming modulo
               theories},
  journal   = {Theory Pract. Log. Program.},
  volume    = {17},
  number    = {2},
  pages     = {205--225},
  year      = {2017},
  %url       = {https://doi.org/10.1017/S1471068416000193},
  url       = {pdfs/Spatial_Reasoning/TPLP-2016.pdf},
  doi       = {10.1017/S1471068416000193},
  timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tplp/WalegaSB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}