Decidability of bounded second order unification.

Manfred Schmidt-Schauß

Published in: Inf. Comput. (2004)

Keyphrases

higher order
description logics
query answering
theorem prover
function symbols
multiscale
theorem proving
knuth bendix
real time
directional derivatives
decision procedures
logic programming
evolutionary algorithm
pairwise
search engine
artificial intelligence
data sets