Automatic Complexity Analysis of Logic Programs.
Saumya K. DebrayNai-Wei LinPublished in: ICLP (1991)
Keyphrases
- logic programs
- complexity analysis
- logic programming
- answer sets
- stable models
- fixpoint
- background knowledge
- theoretical analysis
- answer set programming
- inductive logic programming
- first order logic
- normal logic programs
- lower bound
- prolog programs
- computational properties
- partial deduction
- term rewriting systems
- logic program updates
- computational complexity
- expressive power
- strong equivalence