A Many-Sorted Resolution Based on an Extension of a First-Order Language.

Keki B. Irani D. G. Shin

Published in: IJCAI (1985)

Keyphrases

higher order
conditional logic
high resolution
predicate calculus
first order logic
language learning
databases
low resolution
relational databases
horn clauses
closure operator