Scaling Relational Inference Using Proofs and Refutations.
Ravi MangalXin ZhangAditya KamathAditya V. NoriMayur NaikPublished in: AAAI (2016)
Keyphrases
- theorem prover
- collective classification
- statistical relational learning
- relational data
- probabilistic inference
- relational learning
- bayesian networks
- inference mechanism
- relational databases
- proof search
- collective inference
- database language
- equational theories
- databases
- formal proof
- structured prediction
- first order logic
- graphical models
- information extraction
- database systems