Hylores: A hybrid logic prover based on direct resolution (system demo)

Authors
  • C.E. Areces
  • J.M. Heguiabehere
Publication date 2002
Book title Proceedings of BNAIC 2002 14th Belgian-Dutch Conference on Artificial Intelligence
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back