We give an introductory tutorial to assumption-based argumentation (referred to as ABA)–a
form of argumentation where arguments and attacks are notions derived from primitive …

Publisher Summary The past few years have seen enormous progress in the performance of
Boolean satisfiability (SAT) solvers. Despite the worst-case exponential run time of all known …

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

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 …

Potassco: The Potsdam Answer Set Solving Collection Page 1 AI Communications 24 (2011)
107–124 107 DOI 10.3233/AIC-2011-0491 IOS Press Potassco: The Potsdam Answer Set …

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 introduce an approach to computing answer sets of logic programs, based on concepts
successfully applied in Satisfiability (SAT) checking. The idea is to view inferences in …

To endow computers with common sense is one of the major long-term goals of artificial
intelligence research. One approach to this problem is to formalize commonsense reasoning …

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

In the frame of Digital Forensic (DF) and Digital Investigations (DI), the “Evidence Analysis”
phase has the aim to provide objective data, and to perform suitable elaboration of these …