LambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper) (bibtex)

by Beidi Li, Mehul Bhatt and Carl P. L. Schultz

Reference:

LambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic Programming (Short Paper) (Beidi Li, Mehul Bhatt and Carl P. L. Schultz), In 14th International Conference on Spatial Information Theory, COSIT 2019, September 9-13, 2019, Regensburg, Germany (Sabine Timpf, Christoph Schlieder, Markus Kattenbeck, Bernd Ludwig, Kathleen Stewart, eds.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, volume 142, 2019.

Bibtex Entry:

@inproceedings{DBLP:conf/cosit/LiBS19,
  author    = {Beidi Li and
               Mehul Bhatt and
               Carl P. L. Schultz},
  editor    = {Sabine Timpf and
               Christoph Schlieder and
               Markus Kattenbeck and
               Bernd Ludwig and
               Kathleen Stewart},
  title     = {LambdaProlog(QS): Functional Spatial Reasoning in Higher Order Logic
               Programming (Short Paper)},
  booktitle = {14th International Conference on Spatial Information Theory, {COSIT}
               2019, September 9-13, 2019, Regensburg, Germany},
  series    = {LIPIcs},
  volume    = {142},
  pages     = {26:1--26:8},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
%  url       = {https://doi.org/10.4230/LIPIcs.COSIT.2019.26},
  url       = {pdfs/Spatial_Reasoning/LIPIcs-COSIT-2019.pdf},
  doi       = {10.4230/LIPIcs.COSIT.2019.26},
  timestamp = {Tue, 03 Sep 2019 17:14:59 +0200},
  biburl    = {https://dblp.org/rec/conf/cosit/LiBS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}