Inheritance Hierarchies: Semantics and Unification.

Gert Smolka Hassan Aït-Kaci

Published in: J. Symb. Comput. (1989)

Keyphrases

higher order
formal semantics
genetic algorithm
logical framework
database
data mining
learning algorithm
artificial intelligence
bayesian networks
logic programming
schema mappings
reasoning tasks
intended meaning