Abstract
The paper presents a knowledge representation language Alog which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some properties of Alog, an algorithm for computing its answer sets, and comparison with other approaches.
Original language | English |
---|---|
Pages (from-to) | 587-601 |
Number of pages | 15 |
Journal | Theory and Practice of Logic Programming |
Volume | 14 |
Issue number | 4-5 |
DOIs | |
State | Published - Jul 2014 |
Keywords
- Aggregates
- Answer Set Programming