Monotonicity Properties in Automated Deduction.

Zohar Manna Mark E. Stickel Richard Waldinger

Published in: Artificial and Mathematical Theory of Computation (1991)

Keyphrases

automated deduction
theorem proving
structural properties
image processing
search algorithm
real time
databases
artificial intelligence
computer vision
e learning
high level
database systems
bayesian networks
text classification
inference rules
theorem prover