Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity f...

The paper introduces an AND/OR search space perspective for graphical models that include probabilistic networks (directed or undirected) and constrai...

Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theo...

In many decision making problems, a number of independent attributes or criteria are often used to individually rate an alternative from an agent's lo...

We present an efficient algorithm that decides the consistency of partial descriptions of ordered trees. The constraint language of these descriptions...