An Incompleteness Result for Deductive Synthesis of Logic Programs.
Kung-Kiu LauMario OrnaghiPublished in: ICLP (1993)
Keyphrases
- logic programs
- functional programs
- logic programming
- term rewriting systems
- answer sets
- answer set programming
- stable models
- fixpoint
- partial deduction
- inductive logic programming
- background knowledge
- normal logic programs
- computational properties
- prolog programs
- incomplete information
- monotonicity constraints
- horn clauses
- expert systems
- autoepistemic logic
- program synthesis
- minimal models
- programming language
- loop formulas
- knowledge representation