Over the last 25 years there has been considerable body of research into combinations of predicate logic and probability forming what has become known as (perhaps misleadingly) sta...
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
Distance semantics is a robust way of handling dynamically evolving and possibly contradictory information. In this paper we show that in many cases distance-based entailments can ...
We present a new approach to dealing with default information based on the theory of belief functions. Our semantic structures, inspired by Adams' -semantics, are epsilon-beli...
Salem Benferhat, Alessandro Saffiotti, Philippe Sm...