A Clausal Normal Form Translation for FOOL.
Evgenii KotelnikovLaura KovácsMartin SudaAndrei VoronkovPublished in: GCAI (2016)
Keyphrases
- normal form
- prime implicates
- database design
- relational databases
- functional dependencies
- knowledge compilation
- relational algebra
- nested relations
- inductive logic programming
- machine translation
- information content
- theorem proving
- boolean expressions
- databases
- relational database theory
- horn clauses
- data dependencies
- propositional formulas
- constraint propagation