Answer set programming (ASP) is a form of declarative programming oriented towards
difficult search problems. As an outgrowth of research on the use of nonmonotonic …

The increasing availability of streaming data has accelerated advances in information
processing tools that no longer store data for static querying but push information to …

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 …

In the frame of Digital Forensic (DF) and Digital Investigations (DI), the “Evidence Analysis”
phase has the aim to provide objective data, and to perform suitable elaboration of these …

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 …

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 …

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 …