Tableaux for Hybrid XPath with Data

C. Areces, R. Fervari, and N. Seiler. Tableaux for Hybrid XPath with Data. In E. Oliveira, J. Gama, Z. Vale, and H. Lopes Cardoso, editors, Progress in Artificial Intelligence, Lecture Notes in Computer Science, pp. 611–623, Springer, 2017.

Download: [pdf] 

Abstract:

We provide a sound, complete and terminating tableau procedure to check satisfiability of downward XPath_= formulas enriched with nominals and satisfaction operators. The calculus is inspired by ideas introduced to ensure termination of tableau calculi for certain Hybrid Logics. We prove that even though we increased the expressive power of XPath by introducing hybrid operators, the satisfiability problem for the obtained logic is still PSpace-complete.

BibTeX: (download)

@INCOLLECTION{arec:tabl17,
  author = {C. Areces and R. Fervari and N. Seiler},
  title = {Tableaux for Hybrid XPath with Data},
  booktitle = {Progress in Artificial Intelligence},
  publisher = {Springer},
  year = {2017},
  editor = {E. Oliveira and J. Gama and Z. Vale and H. Lopes Cardoso},
  volume = {10423},
  series = {Lecture Notes in Computer Science},
  pages = {611-623},
  abstract = {We provide a sound, complete and terminating tableau procedure to
	check satisfiability of downward XPath_= formulas enriched with nominals
	and satisfaction operators. The calculus is inspired by ideas introduced
	to ensure termination of tableau calculi for certain Hybrid Logics.
	We prove that even though we increased the expressive power of XPath
	by introducing hybrid operators, the satisfiability problem for the
	obtained logic is still PSpace-complete.},
  owner = {areces},
  timestamp = {2017.12.04}
}

Generated by bib2html.pl (written by Patrick Riley) on Mon Dec 04, 2017 20:59:00