Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints.
Claudia ZepedaJosé Luis CarballidoPublished in: ENC (2008)
Keyphrases
- stable models
- logic programs
- normal logic programs
- stable model semantics
- logic programming
- fixpoint
- derivation rules
- answer set programming
- general theory
- deductive databases
- loop formulas
- function symbols
- answer sets
- answer set programs
- constraint satisfaction
- logic programs with negation
- background knowledge
- general purpose
- artificial intelligence