Login / Signup
Automatic Induction of Abduction and Abstraction Theories from Observations.
Stefano Ferilli
Teresa Maria Altomare Basile
Nicola Di Mauro
Floriana Esposito
Published in:
ILP (2005)
Keyphrases
</>
logic programming
theoretical framework
fully automatic
constructive induction
data sets
machine learning
decision trees
domain theory
abductive reasoning
program synthesis