Effiecient Compilation of First Order Predicates.
Giuseppe AttardiMauro GaspariPietro IglioPublished in: AI*IA (1991)
Keyphrases
- horn clauses
- first order logic
- quantifier free
- quantifier elimination
- higher order
- user defined
- stochastic dominance
- function symbols
- decomposable negation normal form
- logical formulas
- conditional logic
- predicate invention
- term rewriting
- linear temporal logic
- information retrieval
- datalog programs
- knowledge compilation
- database queries
- inductive logic programming
- database systems