Unification of Hyperset Terms.

Davide Aliffi Gianfranco Rossi Agostino Dovier Eugenio G. Omodeo

Published in: ICLP Workshop on Logic Programming with Sets (1993)

Keyphrases

higher order
web pages
decision trees
three dimensional
hidden markov models
databases
decision making
knowledge base
multiscale
learning environment
lower bound
special case