What is here called controlled natural language (CNL) has traditionally been given many
different names. Especially during the last four decades, a wide variety of such languages …

We introduce novel mathematical models and algorithms to generate (shortest or k different)
explanations for biomedical queries, using answer set programming. We implement these …

Most existing automated requirements formalisation techniques require system engineers to
(re) write their requirements using a set of predefined requirement templates with a fixed …

In this article, we describe the architecture, the language and the authoring tool of the
PENG^ ASP ASP system. This system supports the writing of non-monotonic specifications …

We show how a bi-directional grammar can be used to specify and verbalise answer set
programs in controlled natural language. We start from a program specification in controlled …

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

We present new methods to efficiently answer complex queries overbiomedical ontologies
and databases considering the relevant partsof these knowledge resources, and to generate …

This paper moves the first step towards automating the composition of Answer Set
Programming (ASP) specifications. In particular, the following contributions are provided:(i) …

Answer set programming (ASP) is a popular declarative programming language for solving
hard combinatorial problems. Although ASP has gained widespread acceptance in …

Abstract Answer Set Programming (ASP) is a popular declarative programming language for
solving hard combinatorial problems. Albeit ASP has been widely adopted in both academic …