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

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

Reference:

Przemyslaw Andrzej Walega and Mehul Bhatt and Carl P. L. Schultz, "ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories", In Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings, Springer, pp. 488–501, 2015.

Bibtex Entry:

@inproceedings{ASPMTQS2015-Bhatt,
  author    = {Przemyslaw Andrzej Walega and
               Mehul Bhatt and
               Carl P. L. Schultz},
  pi        = {Mehul Bhatt},
  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},
  pages     = {488--501},
  year      = {2015},
  doi       = {10.1007/978-3-319-23264-5_41},
  series    = {Lecture Notes in Computer Science},
  volume    = {9345},
  publisher = {Springer},  
  pdffile   = {../pipubs/subprojects/P03/Bhatt-ASPMTQS-LPNMR15.pdf},   
  note = {(Received distinguished paper recognition with fast-track publication in Journal: TPLP)}  
}