A Variant of the Superposition Calculus.

Nicolas Peltier

Published in: Arch. Formal Proofs (2016)

Keyphrases

theorem proving
real time
genetic algorithm
case study
automated deduction
provably correct
computer algebra
database
machine learning
knowledge base
database systems
similarity measure
probabilistic model
relational calculus
proof procedure