The Halting Problem for Deductive Synthesis of Logic Programs.
Kung-Kiu LauMario OrnaghiSten-Åke TärnlundPublished in: ICLP (1994)
Keyphrases
- logic programs
- functional programs
- term rewriting systems
- logic programming
- answer sets
- background knowledge
- fixpoint
- stable models
- normal logic programs
- partial deduction
- answer set programming
- inductive logic programming
- computational properties
- stable model semantics
- natural language
- answer set programs
- prolog programs
- horn clauses
- incomplete information
- data exchange