Order-Sorted Completion: The Many-Sorted Way (Extended Abstract).

Harald Ganzinger

Published in: TAPSOFT, Vol.1 (1989)

Keyphrases

extended abstract
order sorted
predicate logic
data sets
decision trees
data sources
knowledge representation