The chase algorithm is a fundamental tool for query evaluation and for testing query
containment under tuple-generating dependencies (TGDs) and equality-generating …

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

Answering queries over an incomplete database wrt a set of constraints is an important
computational task with applications in fields as diverse as information integration and …

Abstract Answer Set Programming (ASP), referred to also as Disjunctive Logic Programming
under the stable model semantics (DLP), is a powerful formalism for Knowledge …

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

Rules and ontologies play a key role in the layered architecture of the Semantic Web, as
they are used to ascribe meaning to, and to reason about, data on the Web. While the …

The theory of abstract argumentation frameworks (af s) has, in the main, focused on finite
structures, though there are many significant contexts where argumentation can be regarded …

Answering conjunctive queries (CQs) has been recognized as an important task for the
widening use of Description Logics (DLs) in a number of applications. The problem has …

Querying over disjunctive ASP with functions is a highly undecidable task in general. In this
paper we focus on disjunctive logic programs with stratified negation and functions under …

In this paper we propose an extension of Answer Set Programming (ASP) to deal with
(possibly partial) evaluable functions. To this aim, we start from the most general logical …