Higher Order Disunification: Some decidable cases.

Published in: CCL (1994)

Keyphrases

higher order
horn clauses
first order logic
natural images
high order
artificial intelligence
low order
knowledge base
pairwise
relational databases
text classification
case base
function symbols