Interpolation Theorems for Resolution in Lower Predicate Calculus.
James R. SlaglePublished in: J. ACM (1970)
Keyphrases
- predicate calculus
- formal model
- first order logic
- predicate logic
- semantic network
- theorem proving
- lambda calculus
- high resolution
- low resolution
- proof procedure
- knowledge representation
- image interpolation
- knowledge acquisition
- super resolution
- semantic net
- machine learning
- markov chain
- general purpose
- theorem prover
- interpolation method
- information retrieval