In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
Intelligent agents have to be able to merge informational inputs received from different sources in a coherent and rational way. Several proposals have been made for information m...
Samir Chopra, Aditya K. Ghose, Thomas Andreas Meye...
Media theory is a new branch of discrete applied mathematics originally developed in mid-nineties to deal with stochastic evolution of preference relations in political science an...
If we are to build human-like robots that can interact naturally with people, our robots must know not only about the properties of objects but also the properties of animate agent...
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...