HyLoRes: A Hybrid Logic Prover Based on Direct Resolution (System Demo) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

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

C. Areces
  • Function : Author
J. Heguiabehere
  • Function : Author
No file

Dates and versions

inria-00000323 , version 1 (23-09-2005)

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

Share

Gmail Facebook X LinkedIn More