Towards Automatic Imperative Program Synthesis Through Proof Planning.

Jamie Stark Andrew Ireland

Published in: ASE (1999)

Keyphrases

program synthesis
proof planning
concept formation
theorem proving
building intelligent
theorem prover
inductive logic programming
proof search
recursive programs
artificial intelligence
intelligent agents
meta reasoning
tabu search
reinforcement learning
bayesian networks
metadata
machine learning