Logic Program Synthesis via Proof Planning.
Ina KraanDavid A. BasinAlan BundyPublished in: LOPSTR (1992)
Keyphrases
- logic programs
- proof planning
- concept formation
- logic programming
- theorem proving
- answer sets
- building intelligent
- stable models
- normal logic programs
- fixpoint
- answer set programming
- inductive logic programming
- theorem prover
- general logic programs
- background knowledge
- inside outside algorithm
- logic program updates
- computational properties
- program synthesis
- loop formulas
- proof search
- intelligent agents
- inference rules
- machine learning