The Undecidability of the Semi-unification Problem

A. J. Kfoury Jerzy Tiuryn Pawel Urzyczyn

Published in: Inf. Comput. (1993)

Keyphrases

description logics
higher order
theorem proving
probabilistic planning
theorem prover
data sets
feature selection
search algorithm
evolutionary algorithm
partially observable
answering queries