Login / Signup
Formal Ontology to the Proof of Facts.
Guido Vetere
Published in:
Ontology Makes Sense (2019)
Keyphrases
</>
logical rules
knowledge base
theorem proving
theorem prover
information extraction
artificial intelligence
background knowledge
video sequences
objective function
reinforcement learning
prior knowledge
special case
database systems
three dimensional
website
information systems
data sets
proof planning