Some Computational Properties of Intersection Types.

Antonio Bucciarelli Silvia De Lorenzis Adolfo Piperno Ivano Salvo

Published in: LICS (1999)

Keyphrases

computational properties
expressive power
description logics
logic programs
semantic properties
database
feature selection
expert systems
query language
graphical models
text classification
model selection
bayesian network classifiers
reasoning problems