The Undecidability of the Second-Order Unification Problem.

Warren D. Goldfarb

Published in: Theor. Comput. Sci. (1981)

Keyphrases

higher order
description logics
function symbols
high order
artificial intelligence
directional derivatives
hessian matrix
probabilistic planning
answering queries
knuth bendix
databases
evolutionary algorithm
pairwise
expert systems
multi agent
database systems
case study
learning algorithm