Login / Signup
Explanation-Based Generalization of Infeasible Path.
Mickaël Delahaye
Bernard Botella
Arnaud Gotlieb
Published in:
ICST (2010)
Keyphrases
</>
explanation based generalization
partial evaluation
domain theory
logic programming
modal logic
higher order
shortest path
databases
data sets
case based reasoning
general purpose
inductive learning
database
learning algorithm
knowledge base
co occurrence