Building Decision Procedures in the Calculus of Inductive Constructions.

Frédéric Blanqui Jean-Pierre Jouannaud Pierre-Yves Strub

Published in: CSL (2007)

Keyphrases

relational databases
decision procedures
theorem proving
modal logic
automated reasoning
databases
reasoning problems
satisfiability problem
model theoretic
machine learning
conjunctive queries
knowledge representation
quantified boolean formulas
inference rules
tight complexity bounds