Login / Signup
The Use of Planning Critics in Mechanizing Inductive Proofs.
Andrew Ireland
Published in:
LPAR (1992)
Keyphrases
</>
heuristic search
inductive learning
stochastic domains
databases
inductive inference
decision theoretic
data sets
machine learning
genetic algorithm
website
expert systems
planning problems
concept learning
motion planning
goal oriented
planning process