HyLoRes: A Hybrid Logic Prover Based on Direct Resolution (System Demo)

C. Areces and J. Heguiabehere. HyLoRes: A Hybrid Logic Prover Based on Direct Resolution (System Demo). In Proceedings of BNAIC 2002 14th Belgian-Dutch Conference on Artificial Intelligence, Leuven, Belgium, 2002.

Download

[pdf] 

Abstract

System description of HyLoRes.

BibTeX

@InProceedings{Areces2002b,
  author =       "C. Areces and J. Heguiabehere",
  booktitle =    "Proceedings of BNAIC 2002 14th Belgian-Dutch
                 Conference on Artificial Intelligence",
  title =        "HyLoRes: {A} Hybrid Logic Prover Based on Direct
                 Resolution (System Demo)",
  year =         "2002",
  address =      "Leuven, Belgium",
  abstract =     "System description of HyLoRes.",
}