Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

This paper explores the use of Answer Set Programming (ASP) in solving Distributed
Constraint Optimization Problems (DCOPs). The paper provides the following novel …

Answer set programming (ASP) is a form of declarative programming particularly suited to
difficult combinatorial search problems. However, it has yet to be used for more than a …

HEX programs were originally introduced as a general framework for extending declarative
logic programming, under the stable model semantics, with the possibility of bidirectionally …

We present a multi-agent formalism based on extended answer set programming. The
system consists of independent agents connected via a communication channel, where …

In everyday life it happens that a person has to reason out what other people think and how
they behave, in order to achieve his goals. In other words, an individual may be required to …

We present a computational method to generate explanations to answers of complex
queries over biomedical ontologies and databases, using the high-level representation and …

Answer set programming isa form of declarative programming that has proven very
successful in succinctly formulating and solving complex problems. Although mechanisms …

Communicating answer set programming is a framework to represent and reason about the
combined knowledge of multiple agents using the idea of stable models. The semantics and …

We explore the suitability of Intensional Programming Paradigm for providing a
programming model for coordinated problem solving in a multi-agent system. We extend our …