Answer set programming at a glance Page 1 C r e D It t K 92 CommunICatIonS of tHe aCm |
DeceMBer 2011 | voL. 54 | No. 12 review articles Page 2 C r e D It t K review articles DeceMBer …

ASP has been applied fruitfully to a wide range of areas in AI and in other fields, both in
academia and in industry, thanks to the expressive representation languages of ASP and …

Knowledge representation and reasoning is the foundation of artificial intelligence,
declarative programming, and the design of knowledge-intensive software systems capable …

Automated problem solving in combination with declarative specifications of search-
problems have shown to substantially improve the implementation and maintenance costs …

ASP solvers address several reasoning tasks that go beyond the mere computation of
answer sets. Among them are cautious reasoning, for modeling query entailment, and …

Abstract Answer Set Programming (ASP) is a well-established paradigm of declarative
programming that has been developed in the field of logic programming and non-monotonic …

This paper introduces WASP, an ASP solver handling disjunctive logic programs under the
stable model semantics. WASP implements techniques originally introduced for SAT solving …

DLV is a powerful system for Knowledge Representation and Reasoning which supports
Answer Set Programming (ASP)–a logic-based programming paradigm for solving problems …

Artificial intelligence (AI) approaches to problem-solving and decision-making are becoming
more and more complex, leading to a decrease in the understandability of solutions. The …

Answer Set Programming (ASP) is a well-known paradigm of declarative programming with
roots in logic programming and non-monotonic reasoning. Similar to other closely related …