Semi-Unification.

Deepak Kapur David R. Musser Paliath Narendran Jonathan Stillman

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

Keyphrases

theorem proving
higher order
multi dimensional
artificial intelligence
relational databases
dynamic programming
general purpose
first order logic
inference rules
default theories