TH1: The TPTP Typed Higher-Order Form with Rank-1 Polymorphism.

Cezary Kaliszyk Geoff Sutcliffe Florian Rabe

Published in: PAAR@IJCAR (2016)

Keyphrases

higher order
natural images
lambda calculus
high order
pairwise
information systems
low order
markov random field
rank aggregation
image segmentation
objective function
search algorithm
artificial neural networks
computer vision
ranked list
automated theorem proving
neural network