Modal Resolution in Clausal Form.

Patrice Enjalbert Luis Fariñas del Cerro

Published in: Theor. Comput. Sci. (1989)

Keyphrases

temporal resolution
theorem proving
high resolution
real time
neural network
e learning
database systems
image sequences
search space
low resolution
constraint propagation
decomposable negation normal form