نشرت في: 2000
In this paper, we introduce the notion of a bounded-parameter Markov decision process (BMDP) as a generalization of the familiar exact MDP. A bounded...
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space wh...
In Tarski’s formalisation, the universe of a relation algebra (RA) consists of a set of binary relations. A first contribution of this work is the in...
Constraint propagation is an elementary method for reducing the search space of combinatorial search and optimization problems which has become more...
We address the problem of reasoning about preferences among properties (outcomes, desiderata, etc.) in Reiter’s default logic. Preferences are expres...
