call for papers

nza at Cs.Nott.AC.UK nza at Cs.Nott.AC.UK
Di Okt 17 18:26:33 CEST 2006


CALL FOR PAPERS

Special issue on logics for resource-bounded agents

Journal of Logic, Language and Information

Deadline: 20 January 2007

Following a successful workshop on logics for resource-bounded agents
at the European Summer School on Logic, Language and Information (Malaga,
2006), submissions are invited to a special issue of the Journal of Logic,
Language and Information based on the workshop. It is expected that
the special issue will contain expanded versions of some of the papers
presented at the workshop, as well as new papers. 

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

Authors are invited to send a paper in pdf format to nza (at) cs.nott.ac.uk
by the 20th of January 2007.  
Page limit:  30 pages in LaTeX 11pt article style. 

Editors of the special issue: 
Thomas Agotnes (Thomas.Agotnes (at) hib.no) and 
Natasha Alechina (nza (at)  cs.nott.ac.uk)


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.




Mehr Informationen über die Mailingliste IFI-CI-Event