The malignant melanoma is one of the most aggressive forms of skin cancer. Modern
Dermatology recognizes early diagnosis as a fundamental role in reducing the mortality rate …

We study the computation of constrained explanations in the framework of abductive logic
programming. A general characteristic of abductive reasoning is the existence of multiple …

Active integrity constraints (AICs) are a useful formalism to express integrity constraints and
policies to restore consistency in databases violating them. However, AICs do not allow …

We study the framework of abductive logic programming extended with integrity constraints.
For this framework, we introduce a new measure of the simplicity of an explanation based on …

Updating a database by means of a set of views is a classical problem in database research,
known as the view update problem. It consists in “pushing back” the changes introduced into …

The dynamics of belief and knowledge is one of the major components of any autonomous
system that should be able to incorporate new pieces of information. In order to apply the …

Computing shortest distances is a central task in many domains. The growing number of
applications dealing with dynamic graphs calls for incremental algorithms, as it is impractical …

Consistent query answering is a principled approach for querying inconsistent databases. It
relies on two basic notions: the notion of a repair, that is, a consistent database that" …

This paper stems from previous works of the authors in which a new measure of the
simplicity of an explanation based on its degree of arbitrariness is proposed: The more the …

Integrity constraints in databases have been studied extensively since the 1980s, and they
are considered essential to guarantee database integrity. In recent years, several authors …