A Monotonicity Calculus and Its Completeness.

Thomas Icard Lawrence S. Moss William Tune

Published in: MOL (2017)

Keyphrases

genetic algorithm
computer vision
data quality
automated deduction
algebraic structure
monotonicity constraints
database
databases
information systems
e learning
mobile robot
qualitative spatial reasoning
computer algebra
database query languages
formal proofs