Conference Papers
Year : 2002
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00000323
Submitted on : Friday, September 23, 2005-5:23:28 PM
Last modification on : Friday, September 23, 2005-5:23:28 PM
Dates and versions
Identifiers
- HAL Id : inria-00000323 , version 1
Cite
C. Areces, J. Heguiabehere. HyLoRes: A Hybrid Logic Prover Based on Direct Resolution (System Demo). Proceedings of BNAIC 2002 14th Belgian-Dutch Conference on Artificial Intelligence, 2002, Leuven, Belgium. ⟨inria-00000323⟩
3
View
0
Download