'Descente Infinie' Induction-Based Saturation Procedures.

Sorin Stratulat

Published in: SYNASC (2007)

Keyphrases

inductive learning
database
neural network
inductive reasoning
machine learning
artificial intelligence
knowledge base
control system
mobile robot
concept learning
subgroup discovery
program synthesis
functional programs