On the Undecidability of Second-Order Unification.

Jordi Levy Margus Veanes

Published in: Inf. Comput. (2000)

Keyphrases

higher order
function symbols
description logics
high order
probabilistic planning
answering queries
theorem proving
theorem prover
knuth bendix
data mining
bayesian networks
logic programs
search algorithm
multi agent
automated theorem proving
hessian matrix
directional derivatives
search engine