Learning Knowledge Base Inference with Neural Theorem Provers.
Tim RocktäschelSebastian RiedelPublished in: AKBC@NAACL-HLT (2016)
Keyphrases
- knowledge base
- theorem prover
- learning process
- learning algorithm
- learning rules
- active learning
- knowledge acquisition
- theorem proving
- bayesian networks
- expert systems
- supervised learning
- probabilistic inference
- biologically plausible
- neural network
- structured prediction
- graphical models
- knowledge representation
- machine learning