Semantics of disjunctive programs with monotone aggregates - an operator-based approach.
Nikolay PelovMiroslaw TruszczynskiPublished in: NMR (2004)
Keyphrases
- answer sets
- anti monotone
- answer set semantics
- logic programs
- logic programming
- normal logic programs
- stable models
- stable model semantics
- aggregate functions
- answer set programming
- formal semantics
- fixpoint semantics
- dynamic logic
- semantics for logic programs
- programming language constructs
- model theoretic
- data streams
- update operators
- operational semantics
- possibilistic logic
- control flow
- boolean functions
- data integration
- upper bound
- knowledge base