Decidability of bounded higher-order unification.

Manfred Schmidt-Schauß Klaus U. Schulz

Published in: J. Symb. Comput. (2005)

Keyphrases

higher order
natural images
description logics
pairwise
query answering
high order
conditional random fields
markov models
low order
information systems
case study
bayesian networks
decision procedures
lower order
type checking
anti unification