Workshop on Logics for Resource-Bounded Agents

Topic: 
Logic & Computation
Level: 
Workshop
Abstract: 

Research in resource-bounded agency contributes both to reasoning about actions in philosophy and artificial intelligence, and to applications of logic in computer science, such as the practical verification of resource-bounded multi-agent systems. The Logics for Resource-Bounded Agents workshop will provide a forum for established researchers and advanced PhD students to present and discuss their work with colleagues working in related areas (particularly those represented at ESSLLI). In addition to logics of strategic ability where actions produce and consume resources, we solicit contributions from researchers working in epistemic logic, game theory, linear logic etc. on alternative approaches to modelling resource-bounded agency.
Workshop Topics include but are not limited to:
- logics of strategic ability where actions require or produce resources;
- counting and metric temporal logics;
- linear logic;
- epistemic logics for non-omniscient reasoners and bounded-memory reasoners.

Week: 
Second week
Slot: 
14:00 - 15:30 - slot 3
Room: 
52.121