Sciweavers

1744 search results - page 44 / 349
» What's There to Talk About
Sort
View
ECAI
2006
Springer
14 years 22 days ago
Towards a Logic of Agency and Actions with Duration
Abstract. As far as we know, there is no multi-agent system allowing to talk both about choices of agents or groups of agents, strategies, and about sufficiently rich actions. This...
Nicolas Troquard, Laure Vieu
IAT
2009
IEEE
13 years 6 months ago
Strategic Ability Update: A Modal Logic Account
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, ...
DAGSTUHL
2004
13 years 10 months ago
What is a Model?
Abstract. With the recent trend to model driven development a commonly agreed notion of "model" becomes a pivotal issue. However, currently there is little consensus abou...
Thomas Kühne
ATAL
2006
Springer
14 years 24 days ago
Reasoning about action and cooperation
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
Luigi Sauro, Jelle Gerbrandy, Wiebe van der Hoek, ...
DIGRA
2005
Springer
14 years 2 months ago
Girls Creating Games: Challenging Existing Assumptions about Game Content
In a reinforcing cycle, few females create games and fewer girls than boys play games. In this paper, we increase our understanding of what girls like about games and gaming by de...
Jill Denner, Steven Bean, Linda L. Werner