Direct Resolution for Modal-like Logics

C. Areces and J. Heguiabehere. Direct Resolution for Modal-like Logics. In Proceedings of the 3rd International Workshop on the Implementation of Logics, pp. 3–16, Tbilisi, Georgia, 2002.

Download

[pdf] 

Abstract

In this paper we discuss the implementation of a hybrid logic theorem prover based on resolution, HyLoRes, which fuses first-order proving techniques with modal and hybrid reasoning. The focus is on implementation details, and on how we adapted first-order methods to the hybrid environment.

BibTeX

@InProceedings{Areces2002a,
  author =       "C. Areces and J. Heguiabehere",
  booktitle =    "Proceedings of the 3rd International Workshop on the
                 Implementation of Logics",
  title =        "Direct Resolution for Modal-like Logics",
  year =         "2002",
  abstract =     "In this paper we discuss the implementation of a
                 hybrid logic theorem prover based on resolution,
                 HyLoRes, which fuses first-order proving techniques
                 with modal and hybrid reasoning. The focus is on
                 implementation details, and on how we adapted
                 first-order methods to the hybrid environment.",
  address =      "Tbilisi, Georgia",
  pages =        "3--16",
                 Description Logics",
}