Order-Sorted Completion: The Many-Sorted Way.

Harald Ganzinger

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

Keyphrases

order sorted
predicate logic
knowledge base
data structure
data sets
learning algorithm
knowledge discovery
information extraction
text mining
orders of magnitude
knuth bendix