First Steps Towards Cumulative Inductive Types in CIC.

Amin Timany Bart Jacobs

Published in: ICTAC (2015)

Keyphrases

machine learning
inductive learning
multimedia
database
high level
multiscale
cooperative
computer science
domain knowledge
mobile robot