Completeness and Decidability Results for First-Order Clauses with Indices.

Abdelkader Kersani Nicolas Peltier

Published 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