Reasoning with Higher Order Partial Functions.

Antonio Gavilanes-Franco Francisca Lucio-Carrasco Mario Rodríguez-Artalejo

Published in: CSL (1992)

Keyphrases

higher order
natural images
high order
pairwise
reasoning systems
markov random field
knowledge base
automated reasoning
meta level
production rules
reasoning tasks
reasoning process
deductive reasoning