extended deadline: Workshop on Formal Models of Resource Bounded Agents

[Apologies for multiple postings]

                           LAST CALL FOR PAPERS
                            (EXTENDED DEADLINE)

      Workshop on FORMAL MODELS OF RESOURCE-BOUNDED AGENTS (FMRBA'05)

            Utrecht University, The Netherlands July 25/26, 2005
               http://www.agents.cs.nott.ac.uk/events/fmrba05

  Co-located with the Fourth International Joint Conference on Autonomous
                 Agents and Multiagent Systems (AAMAS'2005)
                          http://www.aamas2005.nl/



AIMS AND SCOPE
--------------

Much of the work in formal logical modelling of agents assumes idealised
rational agents with unrestricted memory and unbounded time available for
reasoning.  This is unrealistic, since the agents are ascribed capabilities
which they do not possess (e.g. ability to derive any theorem of classical
propositional logic). Recently, there has been growing interest in formal
models of resource-bounded agents.  While this work has been presented at
agents and logics conferences and workshops (IJCAI, AAMAS, EUMAS) and
published in journals, such as the Journal of Autonomous Agents and
Multi-Agent Systems, this emerging community has lacked a forum for
discussion.  The aim of this workshop is to bring together researchers
working on models of resource-bounded agents to assess the state of the art
and identify open problems.

Topics of interest include general frameworks for modelling resource-bounded
agents, models of resource-bounded agent architectures and models of
resource-bounded agent capabilities.

Possible topics include, but are not limited to,

* Modelling frameworks
  - Epistemic logics for resource-bounded reasoners
* Models of resource-bounded agent architectures
  - resource-bounded BDI agents
  - resource-bounded MAS architectures
* Models of agent capabilities
  - Resource-bounded planning
  - Resource-bounded belief revision
  - Resource-boundedness in games, such as limited recall

The workshop will be of interest both to agent researchers and to logicians
involved in specifying, implementing and verifying agents.  More generally,
the activity of making formal models more relevant to work on practical
agents is of relevance to all agent developers.


IMPORTANT DATES
---------------

* Paper submission deadline:  28 March 2005 (extended deadline)
* Notification of acceptance: 18 April 2005
* Camera-ready manuscript:    29 May 2005
* Workshop to be held on:     25 or 26 July 2005


SUBMISSION INSTRUCTIONS
-----------------------

Authors are invited to send original research papers in pdf format to
fmrba05@cs.nott.ac.uk by the 28th of March 2005. The paper must be in
Springer LNCS format (see http://www.springer.de/comp/lncs/authors.html) 
and no more than 15 pages.

We believe the work presented will be of interest to the general agents
community and to ensure wider dissemination we plan to publish selected
papers from the workshop, possibly as a special issue of the journal
Knowledge, Rationality and Action (see
http://www.csc.liv.ac.uk/~wiebe/pubs/Documents/KRA.pdf)


ORGANIZING COMMITTEE
--------------------

Natasha Alechina  (University Nottingham, UK)
Yves Lesperance   (York University, Canada)
Brian Logan       (University Nottingham, UK)
Luciano Serafini  (ITC-IRST, Italy)


PROGRAMME COMMITTEE
-------------------

Thomas Agotnes (University of Bergen, Norway) 
Matteo Baldoni (University of Torino, Italy) 
Marcelo Finger (University of Sao Paulo, Brazil) 
Michael Fisher (University of Liverpool, UK)
Chiara Ghidini (ITC-IRST, Trento, Italy) 
Wiebe van der Hoek (University of Liverpool, UK) 
David Israel (SRI International, USA)
Gerhard Lakemeyer (Aachen University of Technology, Germany) 
John-Jules Meyer (Utrecht University, The Netherlands) 
Donald Perlis (University of Maryland, US) 
Murray Shanahan (Imperial College, UK)
Carles Sierra (IIIA-CSIC Cerdanyola, Catalonia, Spain) 
Renata Wasserman (University of Sao Paulo, Brazil) 



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.

Received on Wednesday, 16 March 2005 14:10:20 UTC