243 search results - page 49 / 49 » On the Reasoning Patterns of Agents in Games |
FSTTCS
2003
Springer
13 years 10 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
SIGOPSE
1998
ACM
13 years 9 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
This research applies ideas from argumentation theory in the context of semantic wikis, aiming to provide support for structured-large scale argumentation between human agents. The...