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 …

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 …

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 …

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 …

This article describes abstract dialectical frameworks, or ADFs for short. ADFs are
generalizations of the widely used Dung argumentation frameworks. Whereas the latter …

2.00 Nov. 16th, 2012. First public release of the document. 2.01 Nov. 21th, 2012. Explicit
support of negative integers in grammar table. 2.02 Dec. 4th, 2012. Addition of optimize …

Dealing with controversial information is an important issue in several application contexts.
Formal argumentation enables reasoning on arguments for and against a claim to decide on …

A very desirable Datalog extension investigated by many researchers in the last 30 years
consists in allowing the use of the basic SQL aggregates min, max, count and sum in …

Epistemic negation not along with default negation¬ plays a key role in knowledge
representation and nonmonotonic reasoning. However, the existing epistemic approaches …