A Symbolic Constraint Solving Framework for Analysis of Logic Programs.
C. R. RamakrishnanI. V. RamakrishnanR. C. SekarPublished in: PEPM (1995)
Keyphrases
- logic programs
- constraint solving
- logic programming
- answer sets
- abductive logic programming
- answer set programming
- stable models
- fixpoint
- computational properties
- constraint propagation
- constraint satisfaction
- background knowledge
- constraint logic programming
- abductive reasoning
- logic program updates
- inductive logic programming
- constraint programming
- np complete
- stochastic logic programs
- term rewriting systems