Belief revision is a topic of much interest in theoretical computer science and logic, and it
forms a central problem in research into artificial intelligence. In simple terms: how do you …

Epistemic logic has grown from its philosophical beginnings to find diverse applications in
computer science as a means of reasoning about the knowledge and belief of agents. This …

We study the complexity of several recently proposed methods for updating or revising
propositional knowledge bases. In particular, we derive complexity results for the following …

We address the problem of dealing with inconsistencies in Description Logic (DL)
knowledge bases. Our general goal is both to study DL semantical frameworks which are …

Independence--the study of what is relevant to a given problem of reasoning--has received
an increasing attention from the AI community. In this paper, we consider two basic forms of …

Abstract Knowledge compilation is an AI technique for addressing computationally
demanding reasoning problems. In this paper we survey recent results in knowledge …

We consider the problem of measuring the similarity or distance between two finite sets of
points in a metric space, and computing the measure. This problem has applications in, eg …

Quantified Boolean logic results from adding operators to Boolean logic for existentially and
universally quantifying variables. This extends the reach of Boolean logic by enabling a …

In this paper, the problem of deriving sensible information from a collection of argumentation
systems coming from different agents is addressed. The underlying argumentation theory is …

The problem of combining pieces of information issued from several sources can be
encountered in various fields of application. This paper aims at presenting the different …