Tableaux for Hybrid XPath with Data. Areces, C., Fervari, R., & Seiler, N. In Oliveira, E. C., Gama, J., Vale, Z. A., & Cardoso, H. L., editors, Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, volume 10423, of Lecture Notes in Computer Science, pages 611–623, 2017. Springer.
Tableaux for Hybrid XPath with Data [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/epia/ArecesFS17,
  author       = {Carlos Areces and
                  Raul Fervari and
                  Nahuel Seiler},
  editor       = {Eug{\'{e}}nio C. Oliveira and
                  Jo{\~{a}}o Gama and
                  Zita A. Vale and
                  Henrique Lopes Cardoso},
  title        = {Tableaux for Hybrid XPath with Data},
  booktitle    = {Progress in Artificial Intelligence - 18th {EPIA} Conference on Artificial
                  Intelligence, {EPIA} 2017, Porto, Portugal, September 5-8, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10423},
  pages        = {611--623},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-65340-2\_50},
  doi          = {10.1007/978-3-319-65340-2\_50},
  timestamp    = {Mon, 30 Nov 2020 08:47:29 +0100},
  biburl       = {https://dblp.org/rec/conf/epia/ArecesFS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0