On the Role of Type Decorations in the Calculus of Inductive Constructions.

Bruno Barras Benjamin Grégoire

Published in: CSL (2005)

Keyphrases

machine learning
knowledge representation
inductive logic programming
type checking
computer algebra
data sets
learning algorithm
clustering algorithm
temporal reasoning
database query languages