92 search results - page 13 / 19 » Representing and Reasoning about Game Strategies |
118
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Modern interactive computer games provide the ability to objectively record complex human behavior, offering a variety of interesting challenges to the pattern-recognition communi...
CONCUR
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
88
Voted
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Ad hoc and peer-to-peer (P2P) computing paradigms pose a number of security challenges. The deployment of classic security protocols to provide services such as node authentication...
103
Voted
RSFDGRC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
116
Voted
ICAIL
2009
ACM
14 years 10 months ago
2009
ACM
In this paper we discuss how recent developments in argumentation frameworks, most notably Extended Argumentation Frameworks, can inform the representation of a body of case law u...