Sciweavers

7289 search results - page 205 / 1458
» A Dependent Set Theory
Sort
View
ICALP
2005
Springer
14 years 1 months ago
Computationally Sound Implementations of Equational Theories Against Passive Adversaries
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...
Mathieu Baudet, Véronique Cortier, Steve Kr...
INFFUS
2006
126views more  INFFUS 2006»
13 years 8 months ago
Social choice theory, belief merging, and strategy-proofness
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...
IJUFKS
2007
107views more  IJUFKS 2007»
13 years 8 months ago
Fundamentals of Media Theory
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...
Sergei Ovchinnikov
AROBOTS
2002
121views more  AROBOTS 2002»
13 years 8 months ago
Theory of Mind for a Humanoid Robot
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...
Brian Scassellati
IJCAI
1997
13 years 9 months ago
Compiling Reasoning with and about Preferences into Default Logic
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...
James P. Delgrande, Torsten Schaub