Symmetric blocking

Areces, C. and Orbe, E.. Symmetric blocking. Theoretical Computer Science, 606:25–41, Elsevier, 2015.

Download: [pdf] 

Abstract:

We present three different techniques that use information about symmetries detected in the input formula to block the expansion of diamonds in a modal tableau. We show how these blocking techniques can be included in a standard tableaux calculus for the basic modal logic, and prove that they preserve soundness and completeness. We empirically evaluate these blocking mechanisms in different modal benchmarks.

BibTeX: (download)

@ARTICLE{arec:symm15b,
  author = {Areces, C. and Orbe, E.},
  title = {Symmetric blocking},
  journal = {Theoretical Computer Science},
  year = {2015},
  volume = {606},
  pages = {25-41},
  abstract = {We present three different techniques that use information about symmetries
	detected in the input formula to block the expansion of diamonds
	in a modal tableau. We show how these blocking techniques can be
	included in a standard tableaux calculus for the basic modal logic,
	and prove that they preserve soundness and completeness. We empirically
	evaluate these blocking mechanisms in different modal benchmarks.},
  owner = {areces},
  publisher = {Elsevier},
  timestamp = {2015.09.01}
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49