\n

\n Research in resource-bounded agency contribut es both to reasoning\n about actions in phi losophy and artificial intelligence, and to\n applications of logic in computer science, such as the practical\n verification of resourc e-bounded multi-agent systems. The Logics for\n Resource-Bounded Agents workshop will provide a forum for established\n researchers and advanced PhD students to present and discuss their \n work with colleagues working in related areas (particularly those\n represented at ESSLLI). In addition to logics of strategic abilit y\n where actions produce and consume resou rces, we solicit contributions\n from resea rchers working in epistemic logic, game theory, li near logic\n etc. on alternative approaches to modelling resource-bounded agency.\n

\n\n The workshop is part of ESSLL I and is open to all ESSLLI participants.\n It will consist of five 90-minute sessions held o ver five consecutive\n days in the second w eek of ESSLLI.\n There will be 2 or 3 slot s for\n paper presentation and discussion p er session. On the first day the\n workshop organizers will give an introduction to the topic .\n

\n \n \n\n Fo r more information, see\n htt p://www.cs.nott.ac.uk/~nza/lrba15/\n

\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/605
0/3-14-August-2015-ESSLLI-2015-Workshop-Logics-for
-Resource-Bounded-Agents-Barcelona-Spain
END:VEVENT
END:VCALENDAR
\n We invite su bmissions of extended abstracts describing the top ic of a\n 30 or 45 minute talk at the works hop. This talk may present original\n work or may be based on recently published work in the area of the\n workshop.\n Submission s due: February 15, 2015\n

\n