Inductive Program Synthesis for Theory Plan Generation.

Oksana Arnold Klaus P. Jantke

Published in: New Gener. Comput. (1997)

Keyphrases

program synthesis
plan generation
recursive programs
inductive logic programming
plan recognition
temporal planning
machine learning
planning problems
relational learning
prior knowledge
domain knowledge
management system
first order logic