Second-Order Logical Relations (Extended Abstract).

John C. Mitchell Albert R. Meyer

Published in: Logic of Programs (1985)

Keyphrases

extended abstract
logical structure
higher order
semantic relations
temporal relations
decision trees
hessian matrix
logical reasoning
real time
neural network
image processing
image segmentation
background knowledge
probabilistic logic
binary relations