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 …

In this paper, we introduce a family of expressive extensions of Datalog, called Datalog+/-,
as a new paradigm for query answering over ontologies. The Datalog+/-family admits …

Extending ASP with constraints (CASP) enhances its expressiveness and performance. This
extension is not straightforward as the grounding phase, present in most ASP systems …

Abstract Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted
in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing …

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 …

Advances in gringo Series 3 Page 1 Advances in gringo Series 3 Martin Gebser, Roland
Kaminski, Arne König, and Torsten Schaub * Institut für Informatik, Universität Potsdam Abstract …

Abstract Disjunctive Logic Programming (DLP) under the answer set semantics, often
referred to as Answer Set Programming (ASP), is a powerful formalism for knowledge …

We present a new approach to integrating Constraint Processing (CP) techniques into
Answer Set Programming (ASP). Based on an alternative semantic approach, we develop …

DLV is one of the most successful and widely used answer set programming (ASP) systems.
It supports a powerful language extending Disjunctive Datalog with many expressive …

As software systems are getting increasingly connected, there is a need for equip**
nonmonotonic logic programs with access to external sources that are possibly remote and …