ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (bibtex)

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

Reference:

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (Przemyslaw Andrzej Walega, Mehul Bhatt and Carl P. L. Schultz), In Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings (Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, eds.), Springer, volume 9345, 2015.

Bibtex Entry:

@inproceedings{DBLP:conf/lpnmr/WalegaBS15,
  author    = {Przemyslaw Andrzej Walega and
               Mehul Bhatt and
               Carl P. L. Schultz},
  editor    = {Francesco Calimeri and
               Giovambattista Ianni and
               Miroslaw Truszczynski},
  title     = {{ASPMT(QS):} Non-Monotonic Spatial Reasoning with Answer Set Programming
               Modulo Theories},
  booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
               Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9345},
  pages     = {488--501},
  publisher = {Springer},
  year      = {2015},
  %url       = {https://doi.org/10.1007/978-3-319-23264-5\_41},
  url       = {pdfs/Spatial_Reasoning/ASPMTQS-LPNMR15.pdf},
  doi       = {10.1007/978-3-319-23264-5\_41},
  timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
  biburl    = {https://dblp.org/rec/conf/lpnmr/WalegaBS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}