Practically all programming languages allow the programmer to split a program into several
modules which brings along several advantages in software development. In this paper, we …

In this paper, we review some recent work on declarative logic programming languages
based on stable models/answer sets semantics of logic programs. These languages …

In this paper, a Gaifman–Shapiro-style module architecture is tailored to the case of smodels
programs under the stable model semantics. The composition of smodels program modules …

While past research in answer-set programming (ASP) mainly focused on theory, ASP solver
technology, and applications, the present work situates itself in the context of a quite recent …

Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem
solving, yet comparably little effort has been spent on the investigation of methods to support …

This book is about the language of logic programming with answer set semantics and its
application to knowledge representation, reasoning and declarative problem solving. This …

Control of Systems in different real world fields such us Chemistry, Medicine, Robotics, etc.
has been tackled for decades with approaches developed in the classical Control Systems …

While past research in answer-set programming (ASP) mainly focused on theory, ASP solver
technology, and applications, the present work situates itself in the context of a recent …