Instantiation Schemes for Nested Theories.

Mnacho Echenim Nicolas Peltier

Published in: ACM Trans. Comput. Log. (2013)

Keyphrases

theoretical framework
digital libraries
hierarchical structure
databases
metadata
database systems
bayesian networks
search algorithm
cognitive psychology