Decidability of Bounded Higher-Order Unification.

Manfred Schmidt-Schauß Klaus U. Schulz

Published in: CSL (2002)

Keyphrases

higher order
natural images
high order
pairwise
low order
description logics
markov random field
markov models
conditional random fields
decision procedures
computational properties
query answering
theorem proving
asymptotically optimal
databases
knowledge representation
genetic algorithm