Completeness and Decidability Results for First-Order Clauses with Indices.
Abdelkader KersaniNicolas PeltierPublished in: CADE (2013)
Keyphrases
- first order logic
- horn clauses
- function free horn
- description logics
- expressive power
- higher order
- propositional logic
- query answering
- inference rules
- theorem prover
- quantifier elimination
- search space
- inductive logic programming
- knowledge representation
- data quality
- theorem proving
- logical formulas
- stochastic dominance
- relational algebra
- transitive closure
- decision procedures
- logic programs
- background knowledge
- query containment
- unions of conjunctive queries
- consequence finding