Semantics for Possibilistic Disjunctive Programs
Juan Carlos NievesMauricio OsorioUlises CortésPublished in: CoRR (2011)
Keyphrases
- answer sets
- logic programming
- logic programs
- answer set semantics
- possibilistic logic
- normal logic programs
- stable model semantics
- answer set programming
- stable models
- declarative semantics
- fixpoint semantics
- formal semantics
- dynamic logic
- model theoretic
- control flow
- default reasoning
- deductive databases
- programming language constructs
- uncertain information
- intuitionistic logic
- possibility theory
- language constructs
- query language
- argumentation semantics
- fixpoint
- computer programs
- semantics for logic programs
- programming language