Unification-based Conditional Binding Constructs.

Harvey Abramson

Published in: ICLP (1982)

Keyphrases

higher order
random field model
database
theorem proving
automated theorem proving
equational theories
data mining
computer vision
decision making
learning environment
video sequences