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 …

Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans,
that is, solutions to planning problems, that transform a given state of the world to another …

Abstract Answer Set Programming (ASP) has become an established paradigm for
Knowledge Representation and Reasoning, in particular, when it comes to solving …

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 …

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 …

Specific occupational construction safety, health, and well-being related knowledge and
information are scattered and fragmented. Despite technological advancements of …

Abstract Inductive Logic Programming (ILP) systems aim to find a set of logical rules, called
a hypothesis, that explain a set of examples. In cases where many such hypotheses exist …

The problem of scheduling chemotherapy treatments in oncology clinics is a complex
problem, given that the solution has to satisfy (as much as possible) several requirements …

The goal of Inductive Logic Programming (ILP) is to learn a program that explains a set of
examples in the context of some pre-existing background knowledge. Until recently, most …