30 August - 3 September 2010, The Third Workshop on Logics for Resource-Bounded Agents (LRBA), Domaine Valpré, Lyon, France

Formal models of knowledge and belief, as well as other attitudes such as desire or intention, have been extensively studied. However, most of the treatments of knowledge and belief make strong assumptions about reasoners. For example, traditional epistemic logic says that agents know all logical consequences of their knowledge. Similarly, logics of action and strategic interaction are usually based on game theoretic models which assume perfect rationality. Models based on such assumptions can be used to describe ideal agents without bounds on resources such as time, memory, etc, but they fail to accurately describe non-ideal agents which are computationally bounded.

The Third Workshop on Logics for Resource-Bounded Agents (LRBA) (with special emphasis on awareness and limited reasoning) aims to provide a forum for discussing possible solutions to the problem of formally capturing the properties of knowledge, belief, action, etc. of non-idealised resource-bounded agents. We are particularly interested in formal models of agents' limited reasoning and (un)awareness.

The workshop will be held as part of Multi-Agent Logics, Languages, and Organisations - Federated Workshops (MALLOW 2010) (see http://mallow2010.emse.fr/).

For more information, see http://www.agents.cs.nott.ac.uk/events/lrba10