Abstract
In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem.
Original language | English |
---|---|
Pages (from-to) | 13-24 |
Number of pages | 12 |
Journal | AI Magazine |
Volume | 37 |
Issue number | 3 |
DOIs | |
Publication status | Published - 2016 |
MoE publication type | A1 Journal article-refereed |
Keywords
- STABLE MODEL SEMANTICS
- LOGIC