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

Areces, C. and Heguiabehere, J.. 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:

(unavailable)

BibTeX: (download)

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