CFP Workshop on logics for resource-bounded agents

[event@REDACTED]

WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS
http://www.cs.nott.ac.uk/~nza/LRBA06/
7 - 11 August 2006
organized as part of the
European Summer School on Logic, Language and Information (ESSLLI 2006)
(http://esslli2006.lcc.uma.es/)
31 July - 11 August, 2005, Malaga, Spain

Workshop organizers: Thomas Agotnes (agotnes@REDACTED) and Natasha Alechina
(nza@REDACTED)

Workshop purpose

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
advanced PhD students and researchers to present and discuss possible
solutions to the problem of formally capturing the properties of
knowledge, belief, action, etc. of non-idealised resource-bounded
agents with colleagues and researchers who work in logic, computer
science and other areas represented at ESSLLI.

Workshop 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
- paraconsistent logics
- rational choice under bounded resources
- games under bounded resources, e.g.,
   - games with bounded recall
   - resource bounded reasoning about the structure of the game
   - incomplete information due to bounded resources

Workshop details

Authors are invited to submit a full paper either describing their
published work (which should be instructive and interesting to PhD
students working in the field and appropriate for presentation at the
Summer School), or new and unpublished work. Submissions should not
exceed 15 pages in LaTeX 11pt article style. The following formats are
accepted: pdf, ps. Please send your submission electronically to
bounded06@REDACTED The submissions will be reviewed by the
workshop's programme committee and additional reviewers. The accepted
papers will appear in the workshop proceedings published by ESSLLI. It
is likely that a selection of (revised and expanded) versions of the
workshop papers will appear in a special issue of a journal.

Workshop format

The workshop is part of ESSLLI and is open to all ESSLLI participants. It 
will consist of five 90-minute sessions held over five consequtive days in 
the second week of ESSLLI. There will be 2 slots for paper presentation and 
discussion per session. On the first day the workshop organizers will give 
an introduction to the topic.

Important dates

   * Submissions: March 8, 2006
   * Notification: April 21, 2006
   * Final papers for proceedings: May 1, 2006
   * Final programme: June 21, 2006
   * Workshop dates: 7- 11 August, 2006

Local arrangements

All workshop participants including the presenters will be required to 
register for ESSLLI. The registration fee for authors presenting a paper 
will correspond to the early student/workshop speaker registration fee. 
Moreover, a number of fee waiver grants might be made available by the 
organizing committee on a competitive basis and workshop participants are 
eligible to apply for those.

There will be no reimbursement for travel costs and accomodation.
Workshop speakers who have difficulty in finding funding should contact the
local organising committee to ask for the possibilities of a grant.

Further information:

   About ESSLLI-2006: http://esslli2006.lcc.uma.es/ 
   About the workshop: http://www.cs.nott.ac.uk/~nza/LRBA06/




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.

------------------------------------------------------------------------
This e-mail was delivered to you by event@REDACTED, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner@REDACTED ASAP. 
 
******************************************************
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/