On the Strong Co-induction in Coq.

José Luis Freire-Nistal Antonio Blanco Ferro Víctor M. Gulías José E. Freire Brañas

Published in: EUROCAST (2003)

Keyphrases

theorem prover
inductive logic programming
program synthesis
inductive learning
concept learning
rule induction
explanation based learning
feature selection
high level
expert systems
real time
knowledge acquisition
subgroup discovery
active learning
computer vision
artificial intelligence
real world
data sets