Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory.
Linde VanbesienMaurice BruynoogheMarc DeneckerPublished in: Theory Pract. Log. Program. (2022)
Keyphrases
- fixpoint
- answer set programming
- logic programs
- logic programming
- model theoretic
- answer sets
- semantics of logic programs
- proof theoretic
- stable models
- answer set semantics
- stable model semantics
- deductive databases
- fixpoint semantics
- constraint logic programming
- reasoning tasks
- nonmonotonic reasoning
- update semantics
- minimal models
- disjunctive logic programming
- datalog programs
- modulo theories
- inductive logic programming
- background knowledge
- autoepistemic logic
- knowledge base
- satisfiability modulo theories
- horn clauses
- description logics
- high level
- data mining
- decision procedures
- propositional logic
- database systems
- machine learning
- database