A Complete Characterization of Complete Intersection-Type Theories

Mariangiola Dezani-Ciancaglini Furio Honsell Fabio Alessi

Published in: CoRR (2000)

Keyphrases

databases
real world
case study
artificial intelligence
knowledge base
bayesian networks
multiscale
optimal solution
special case
np complete
cognitive psychology