This article surveys various complexity and expressiveness results on different forms of logic
programming. The main focus is on decidable forms of logic programming, in particular …

Within the last decade, abstract argumentation has emerged as a central field in Artificial
Intelligence. Besides providing a core formalism for many advanced argumentation systems …

Answer set programming at a glance Page 1 C r e D It t K 92 CommunICatIonS of tHe aCm |
DeceMBer 2011 | voL. 54 | No. 12 review articles Page 2 C r e D It t K review articles DeceMBer …

Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored
to modeling problems in the area of Knowledge Representation and Reasoning (KRR) …

Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge
representation and reasoning, which is very expressive in a precise mathematical sense: it …

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 …

A novel logic program like language, weight constraint rules, is developed for answer set
programming purposes. It generalizes normal logic programs by allowing weight constraints …

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 …

We consider disjunctive Datalog, a powerful database query language based on disjunctive
logic programming. Briefly, disjunctive Datalog is a variant of Datalog where disjunctions …

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 …