Quarnet inference rules for level-1 networks.
Katharina T. HuberVincent MoultonCharles SempleTaoyang WuPublished in: CoRR (2017)
Keyphrases
- inference rules
- first order logic
- theorem prover
- modal logic
- truth values
- logical framework
- natural deduction
- data model
- logic programming language
- binary relations
- theorem proving
- horn clauses
- set of inference rules
- database
- conditional probabilities
- database design
- orders of magnitude
- classification accuracy
- training set
- bayesian networks