Standardization of solver input languages has been a main driver for the growth of several
areas within knowledge representation and reasoning, fostering the exploitation in actual …

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

The ASP methodology has been recognized to be a viable solution to many practical
applications, including scheduling problems, and in particular in the healthcare domain, of …

Abstract Argumentation is a major topic in the study of Artificial Intelligence. Since the first
edition in 2015, advancements in solving (abstract) argumentation frameworks are assessed …

This paper analyses and compares some of the automated reasoners that have been used
in recent research for compliance checking. Although the list of the considered reasoners is …

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 …

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) is a well-known paradigm of declarative programming with
roots in logic programming and non-monotonic reasoning. Similar to other closely related …

Answer Set Programming (ASP) is a prominent knowledge representation language with
roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are …

Robots need task planning algorithms to sequence actions toward accomplishing goals that
are impossible through individual actions. Off-the-shelf task planners can be used by …