Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming.
Jorge FandinnoZachary HansenYuliya LierlerPublished in: J. Artif. Intell. Res. (2024)
Keyphrases
- answer set programming
- answer set programs
- disjunctive logic programs
- logic programs
- logic programming
- answer sets
- reasoning tasks
- constraint logic programming
- first order logic
- causal theories
- stable model semantics
- higher order
- horn clauses
- stable models
- knowledge representation
- update semantics
- disjunctive logic programming
- model theoretic
- expert systems
- situation calculus
- inductive logic programming