A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting.

Lawrence S. Moss Thomas F. Icard III

Published in: CoRR (2022)

Keyphrases

higher order
markov random field
natural images
real time
pairwise
conditional random fields
high order
meta level
spatial reasoning
neural network
decision making
lower bound
fuzzy logic
automated reasoning
reasoning systems
model based reasoning