A New Elimination Rule for the Calculus of Inductive Constructions.

Bruno Barras Pierre Corbineau Benjamin Grégoire Hugo Herbelin Jorge Luis Sacchini

Published in: TYPES (2008)

Keyphrases

rule learning
machine learning
inductive learning
knowledge representation
data sets
rule sets
inductive inference
rule discovery
rule generation
real time
neural network
classification rules
inductive logic programming
rule induction
rule mining
inductive reasoning