Multi-shot ASP solving with clingo
We introduce a new flexible paradigm of grounding and solving in Answer Set Programming
(ASP), which we refer to as multi-shot ASP solving, and present its implementation in the …
(ASP), which we refer to as multi-shot ASP solving, and present its implementation in the …
Industrial applications of answer set programming
Automated problem solving in combination with declarative specifications of search-
problems have shown to substantially improve the implementation and maintenance costs …
problems have shown to substantially improve the implementation and maintenance costs …
The asp system dlv2
We introduce, a new Answer Set Programming (ASP) system. combines, a fully-compliant
ASP-Core-2 grounder, with the well-assessed solver. Input programs may be enriched by …
ASP-Core-2 grounder, with the well-assessed solver. Input programs may be enriched by …
How to build your own ASP-based system?!
Answer Set Programming, or ASP for short, has become a popular and sophisticated
approach to declarative problem solving. Its popularity is due to its attractive modeling …
approach to declarative problem solving. Its popularity is due to its attractive modeling …
Evaluation of disjunctive programs in WASP
Abstract Answer Set Programming (ASP) is a well-established declarative programming
language based on logic. The success of ASP is mainly due to the availability of efficient …
language based on logic. The success of ASP is mainly due to the availability of efficient …
[PDF][PDF] Evaluation Techniques and Systems for Answer Set Programming: a Survey.
Answer set programming (ASP) is a prominent knowledge representation and reasoning
paradigm that found both industrial and scientific applications. The success of ASP is due to …
paradigm that found both industrial and scientific applications. The success of ASP is due to …
Grounding and solving in answer set programming
Answer set programming is a declarative problem solving paradigm that rests upon a
workflow involving modeling, grounding, and solving. While the former is described by …
workflow involving modeling, grounding, and solving. While the former is described by …
Answering the “why” in answer set programming–A survey of explanation approaches
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 …
more and more complex, leading to a decrease in the understandability of solutions. The …
I-DLV: the new intelligent grounder of DLV
DLV is a powerful system for Knowledge Representation and Reasoning which supports
Answer Set Programming (ASP)–a logic-based programming paradigm for solving problems …
Answer Set Programming (ASP)–a logic-based programming paradigm for solving problems …
The sixth answer set programming competition
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 …
roots in logic programming and non-monotonic reasoning. Similar to other closely related …