4266 search results - page 303 / 854 » A Framework for Defining Logics |
182
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
166
click to vote
EPIA
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
178
Voted
ISMIS
2005
Springer
16 years 8 days ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
160
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
171
click to vote
ERCIMDL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We present a model for complex documents possibly consisting of a hierarchically structured set of images or texts. Documents are represented both at the form level (as s...