On the Static Analysis for SPARQL Queries Using Modal Logic

Nicola Guido. On the Static Analysis for SPARQL Queries Using Modal Logic. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 4367-4368, AAAI Press, 2015. [doi]

@inproceedings{Guido15-0,
  title = {On the Static Analysis for SPARQL Queries Using Modal Logic},
  author = {Nicola Guido},
  year = {2015},
  url = {http://ijcai.org/papers15/Abstracts/IJCAI15-631.html},
  researchr = {https://researchr.org/publication/Guido15-0},
  cites = {0},
  citedby = {0},
  pages = {4367-4368},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015},
  editor = {Qiang Yang 0001 and Michael Wooldridge},
  publisher = {AAAI Press},
  isbn = {978-1-57735-738-4},
}