We describe the novel functionalities comprised in clasp's series 3. This includes parallel
solving of disjunctive logic programs, parallel optimization with orthogonal strategies …

The killer cell immunoglobulin-like receptors (KIR) mediate human natural killer (NK) cell
cytotoxicity via activating or inhibiting signals. Although informative and functional haplotype …

We summarize some applications of Answer Set Programming (ASP) in phylogenetics
systematics, focusing on the challenges, how they are handled using computational …

The knowledge of haplotypes allows researchers to identify the genetic variation affecting
phenotypic such as health, disease and response to drugs. However, getting haplotype data …

We report on three recent advances in the distributed ASP solver claspar. First, we describe
its flexible architecture supporting various search strategies, including competitive search …

This chapter provides a broad overview of howlogic programming, and more specifically
Answer Set Programming (ASP), can be used to model and solve some popular and …

Bioinformatics is a rapidly growing field at the intersection of biology and computer science.
As such, it poses a wealth of problems, opportunities, and challenges for both areas. This …

Much research in logic programming and non-monotonic reasoning originates from
dissatisfaction with classical logic as a knowledge representation language, and with …

This chapter presents the family of logic programming languages in which computation is
viewed as deduction in a logical formalism. We first present the foundation of logic …

An answer set program with variables is first-order definable on finite structures if the set of
its finite answer sets can be captured by a first-order sentence. Characterizing classes of …