Keyphrases
- first order logic
- incomplete information
- expressive power
- theorem proving
- propositional logic
- inference rules
- probabilistic reasoning
- missing information
- relational model
- knowledge representation
- partial information
- theorem prover
- markov networks
- relational algebra
- query answering
- markov logic networks
- horn clauses
- knowledge representation and reasoning
- transitive closure
- formal semantics
- query language
- machine learning
- database