Higher-order logic based ontology

Summary
Deliver a higher-order logic ontology with expressions in the THF and SUO-KIF languages, suitable for reasoning under the Vampire/Deepire ATP system and supporting a data dictionary for overall project integration.
More information & hyperlinks
Web resources: https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e51bfe0de0&appId=PPGMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV