What Entailment Can do for Type Theory.

Robert K. Meyer

Published in: ICALP Satellite Workshops (2000)

Keyphrases

information theory
conceptual framework
theoretical framework
data mining
np complete
data sets
bayesian networks
information extraction
logic programming
formal model
theoretical basis
general theory