Semantics for Possibilistic Disjunctive Programs.
Juan Carlos NievesMauricio OsorioUlises CortésPublished in: LPNMR (2007)
Keyphrases
- answer sets
- logic programming
- possibilistic logic
- answer set semantics
- logic programs
- answer set programming
- stable model semantics
- fixpoint semantics
- dynamic logic
- stable models
- formal semantics
- normal logic programs
- possibility theory
- fixpoint
- nonmonotonic reasoning
- declarative semantics
- propositional logic
- active rules
- database languages