A Resolution Calculus for First-order Schemata.

Vincent Aravantinos Mnacho Echenim Nicolas Peltier

Published in: Fundam. Informaticae (2013)

Keyphrases

term rewriting
high resolution
higher order
first order logic
databases
low resolution
real numbers
conceptual schema
consequence finding
genetic algorithm
expert systems
data exchange
functional dependencies
higher resolution
database query languages
stochastic dominance