Data provenance has evolved from a niche topic to a mainstream area of research in
databases and other research communities. This article gives a comprehensive introduction …

Abstract Argumentation frameworks (AFs) provide a central approach to perform reasoning
in many formalisms within argumentation in Artificial Intelligence (AI). Semantics for AFs …

Artificial intelligence (AI) approaches to problem-solving and decision-making are becoming
more and more complex, leading to a decrease in the understandability of solutions. The …

Interlinking knowledge sources to enable information exchange is basic means to build
enriched knowledge-based systems, which gains importance with the spread of the Internet …

Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem
solving. However, there is currently a lack of tools for develo** answer-set programs. In …

Abstract Answer Set Programming (ASP) is a truly-declarative programming paradigm
proposed in the area of non-monotonic reasoning and logic programming. In the last few …

The paper introduces the notion of offline justification for answer set programming (ASP).
Justifications provide a graph-based explanation of the truth value of an atom with respect to …

Multi-context systems (MCS) are a powerful framework for interlinking heterogeneous
knowledge sources. They model the flow of information among different reasoning …

An important issue towards a broader acceptance of answer-set programming (ASP) is the
deployment of tools which support the programmer during the coding phase. In particular …

Understanding why and how a given answer to a query is generated from a deductive or
relational database is fundamental to obtain justifications, assess trust, and detect …