Aggregate Semantics for Propositional Answer Set Programs.
Mario AlvianoWolfgang FaberMartin GebserPublished in: Theory Pract. Log. Program. (2023)
Keyphrases
- answer set programs
- answer set programming
- stable models
- update operators
- logic programming
- logic programs
- answer sets
- update semantics
- stable model semantics
- answer set semantics
- reasoning tasks
- fixpoint
- formal semantics
- model theoretic
- deductive databases
- belief revision
- default theories
- knowledge representation
- database
- inductive logic programming
- artificial intelligence
- computational properties
- knowledge representation and reasoning
- expressive power
- aggregate functions
- general purpose
- high level