CFP: Workshop on logics for resource-bounded agents

[nza at Cs.Nott.AC.UK]

CALL FOR PAPERS

Workshop on Logics for Resource-Bounded Agents

To be held as part of Multi-Agent Logics, Languages, and Organisations
-- Federated Workshops (MALLOW'007) in Durham, 3-7 September 2007
http://www.dur.ac.uk/durham.agents007/MALLOW007

AIMS AND SCOPE

Logics 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 and idealised assumptions
about the reasoners. For example, traditional epistemic logic say 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
workshop 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.

TOPICS

Topics include, but are not limited to, logical models of:

* logically non-omniscient agents in general
* explicit knowledge and belief
* algorithmic knowledge
* temporal logics of reasoning
* active logics
* knowledge and belief of reasoners with bounds on reasoning time
* knowledge and belief of reasoners with bounded memory
* knowledge and belief of reasoners with other resource bounds (e.g.
  bandwidth, sensing limitations)
* other attitudes, such as desire, intention, etc., under bounded
  resources
* limited awareness
* paraconsistency
* rational choice under bounded resources
* games under bounded resources, e.g.,
  o games with bounded recall
  o resource bounded reasoning about the structure of the game
  o incomplete information due to bounded resources 

IMPORTANT DATES

Submission deadline:           1 June 2007
Notification of acceptance:    6 July 2007
Camera-ready:                 20 July 2007
Workshop:                    3-4 September 2007

PUBLICATION

Accepted papers will appear in pre-proceedings published by MALLOW. We
aim to publish a selection of revised and expanded papers as a journal
special issue. (We are currently working on a special issue of the
Journal of Logic, Language and Information based on LRBA 06 held as part
of ESSLLI 2006 in Malaga).

SUBMISSION GUIDELINES

Authors are invited to submit a full original paper. Submissions should
not exceed 15 pages in LaTeX 11pt article style. The following formats
are accepted: pdf, ps. Please submit on line at
http://www.easychair.org/LRBA07

Any equiries to lrba07 at cs.nott.ac.uk.

ORGANIZING COMMITTEE

Thomas Agotnes (Bergen University College, Norway)
Natasha Alechina (University of Nottingham, UK)
Brian Logan (University Nottingham, UK)

PROGRAM COMMITTEE

Johan van Benthem (University of Amsterdam, The Netherlands)
Michael Fisher  (University of Liverpool, UK)
Joseph Halpern  (Cornell University, USA)
Paul Harrenstein (Ludwig-Maximilians-Universitat Munchen, Germany)
Wiebe van der Hoek (University of Liverpool, UK)
Jacek Malec (Lund University, Sweden)
Rohit Parikh (Brooklyn College, CUNY, USA)
Luciano Serafini (ITC-irst, Trento, Italy)
Elias Thijsse (University of Tilburg, The Netherlands)


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.