Keyphrases
- presburger arithmetic
- probabilistic inference
- theorem proving
- bayesian networks
- rewriting rules
- efficient learning
- bayesian inference
- theorem prover
- conjunctive queries
- database systems
- real time
- database
- first order logic
- dynamic bayesian networks
- logic programs
- structured prediction
- decision procedures
- inference mechanism