Tree-Based Heuristics in Modal Theorem Proving

C. Areces, R. Gennari, J. Heguiabehere, and M. de Rijke. Tree-Based Heuristics in Modal Theorem Proving. In W. Horn, editors, Proceedings of ECAI'2000, pp. 199–203, Berlin, Germany, 2000.

Download

[pdf] 

Abstract

We use a strong form of the tree model property to boost the performance of resolution-based first-order theorem provers on the so-called relational translations of modal formulas. We provide both the mathematical underpinnings and experimental results con- cerning our improved translation method.

BibTeX

@InCollection{Areces2000d,
  author =       "C. Areces and R. Gennari and J. Heguiabehere and M. de
                 Rijke",
  booktitle =    "Proceedings of ECAI'2000",
  title =        "Tree-Based Heuristics in Modal Theorem Proving",
  year =         "2000",
  abstract =     "We use a strong form of the tree model property to
                 boost the performance of resolution-based first-order
                 theorem provers on the so-called relational
                 translations of modal formulas. We provide both the
                 mathematical underpinnings and experimental results
                 con- cerning our improved translation method.",
  address =      "Berlin, Germany",
  editor =       "W. Horn",
  pages =        "199--203",
  ISBN =         "978-1-58603-013-1",
}