Unification and resolution in retrospect.

John Alan Robinson

Published in: JFPLC (1997)

Keyphrases

high resolution
theorem proving
low resolution
higher order
consequence finding
temporal resolution
real time
neural network
artificial intelligence
database systems
face recognition
object recognition
search space
theorem prover
automated theorem proving
conflict detection