Implicitly Learning to Reason in First-Order Logic.
Vaishak BelleBrendan JubaPublished in: CoRR (2019)
Keyphrases
- first order logic
- learning algorithm
- markov logic
- expressive power
- theorem prover
- propositional logic
- inference rules
- markov logic networks
- theorem proving
- probabilistic reasoning
- relational algebra
- data management
- database
- expert systems
- transitive closure
- constraint databases
- artificial intelligence
- quantifier elimination