Minimizing disjunctive normal forms of pure first-order logic.
Timm LampertPublished in: Log. J. IGPL (2017)
Keyphrases
- first order logic
- normal form
- function symbols
- relational algebra
- expressive power
- propositional logic
- database design
- functional dependencies
- theorem proving
- probabilistic reasoning
- inductive logic programming
- database theory
- relational databases
- knowledge representation
- inference rules
- theorem prover
- incomplete information
- transitive closure
- horn clauses
- multi valued
- markov logic networks
- relational calculus
- data model
- constraint databases
- databases