Aggregate Semantics for Propositional Answer Set Programs.
Mario AlvianoWolfgang FaberMartin GebserPublished in: CoRR (2021)
Keyphrases
- answer set programs
- stable models
- answer set programming
- update operators
- logic programming
- answer sets
- logic programs
- update semantics
- answer set semantics
- stable model semantics
- reasoning tasks
- formal semantics
- aggregate functions
- fixpoint
- nonmonotonic reasoning
- belief revision
- deductive databases
- belief update
- computational properties
- event calculus
- propositional logic
- database
- deontic logic
- inductive logic programming
- relational databases