Login / Signup
Inductive types in the Calculus of Algebraic Constructions
Frédéric Blanqui
Published in:
CoRR (2006)
Keyphrases
</>
knowledge representation
algebraic structure
inductive learning
machine learning
information retrieval
image processing
relational databases
real time
data sets
case study
higher order
inductive logic programming
multiple types
qualitative spatial reasoning
qualitative spatial