Publisher Summary This chapter discusses Answer Set Prolog, which is a language for
knowledge representation and reasoning based on the answer set/stable model semantics …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

We propose a combination of logic programming under the answer set semantics with the
description logics SHIF (D) and SHOIN (D), which underly the Web ontology languages …

In this paper we introduce dialectical frameworks, a powerful generalization of Dung-style
argumentation frameworks where each node comes with an associated acceptance …

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 …

The addition of aggregates has been one of the most relevant enhancements to the
language of answer set programming (ASP). They strengthen the modelling power of ASP in …

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 …

We introduce HEX programs, which are nonmonotonic logic programs admitting higher-
order atoms as well as external atoms, and we extend the wellknown answer-set semantics …

As the data and ontology layers of the Semantic Web stack have achieved a certain level of
maturity in standard recommendations such as RDF and OWL, the current focus lies on two …

Abstract Answer Set Programming (ASP) is a well-established paradigm of declarative
programming that has been developed in the field of logic programming and non-monotonic …