The Undecidability of the Semi-Unification Problem (Preliminary Report)

A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn

Published in: STOC (1990)

Keyphrases

description logics
theorem proving
answering queries
higher order
search algorithm
dynamic programming
databases
machine learning
hidden markov models
np complete
theorem prover
probabilistic planning