Dealing with inconsistency is a central problem in AI, due to the fact that inconsistency can
arise for many reasons in real-world applications, such as context dependency, multi-source …

Applications of smart environments are ever-increasing due to their possibilities of
contributing towards an independent and active lifestyle for different user groups. An …

This paper introduces a novel method for merging open-domain terminological knowledge.
It takes advantage of the Region Connection Calculus (RCC5), a formalism used to …

Adaptation is a task of case-based reasoning (CBR) that aims at modifying a case to solve a
new problem. Now, belief revision deals also about modifications. This chapter studies how …

This paper tackles the problem of evaluating the degree of inconsistency in spatial and
temporal qualitative reasoning. We first introduce postulates to propose a formal framework …

We introduce and study the problem of obtaining a spatial or temporal configuration that
maximizes the number of constraints satisfied in a qualitative constraint network (QCN). We …

Adaptation is a task of case-based reasoning (CBR) that aims at modifying a case to solve a
new problem. Now, belief revision deals also about modifications. This paper studies how …

Qualitative Spatial and Temporal Reasoning is a central topic in Artificial Intelligence. In
particular, it is aimed at application scenarios dealing with uncertain information and thus …

L'adaptation par révision est une approche de l'adaptation de cas fondée sur l'utilisation
d'un opérateur de révision des croyances. Le principe de cette adaptation est de réviser le …

Qualitative Spatial and Temporal Reasoning is a major field of study in Artificial Intelligence
and, particularly, in Knowledge Representation, which deals with the fundamental cognitive …