posted by user: mehmetorgun || 3563 views || tracked by 9 users: [display]

WLIAMAS 2009 : The 2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems

FacebookTwitterLinkedInGoogle


Conference Series : Workshop on Logics for Intelligent Agents and Multi-agent Systems
 
Link: http://www.comp.mq.edu.au/conferences/wliamas09/
 
When Sep 15, 2009 - Sep 18, 2009
Where Milano, Italy
Submission Deadline Apr 30, 2009
Notification Due Jun 3, 2009
Final Version Due Jun 30, 2009
Categories    artificial intelligence   multiagent systems   modal logics   intelligent agents
 

Call For Papers

The 2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009)
http://www.comp.mq.edu.au/conferences/wliamas09/

Held in Conjunction with The 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'09)
http://www.wi-iat09.disco.unimib.it/IAT09/IAThome.htm

15-18 September 2009, University of Milano Bicocca, Milano, Italy

Workshop Aims:
This is the second Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009). The first Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008) was held in conjunction with IAT 2008 in Sydney in December 2008.

This workshop series will focus on latest developments in formal approaches to intelligent agents and multi-agent systems based on modal logics and their applications on various aspects of agency. This workshop in particular aims at bringing together researchers from the fields of modal logics, theoretical computer science and multi-agent systems as well as researchers who are interested in building agent-based systems that could draw inspiration from various forms of modal logics. Therefore, at this workshop, we expect to create a lively discussion and exchange medium for developers and practitioners of agent-based systems and researchers who are interested in formal models of agency.

Workshop Organisers:
Mehmet Orgun (Macquarie University)
Guido Governatori (The University of Queensland)
Chuchang Liu (DSTO)
Mark Reynolds (The University of Western Australia )
Antonino ROTOLO (University of Bologna)
Abdul Sattar (Griffith University)
Leon VAN DER TORRE (University of Luxembourg)

Program Committee:
(TBA)

Topics of Interest:

Suggested, but not exclusive, topics of interest for the workshop are:

* logics for multi-agent systems
* formal methods for verification of multi-agent systems
* formal approaches to communication, coordination and negotiation
* security, privacy and trust issues in multi-agent systems
* resource-bounded reasoning in agent-based systems
* models for context-awareness and mobility
* decision formation / automation in multi-agent enviornments
* models for dynamic agent-based systems

Publication:
The Workshop proceedings will be published by IEEE Computer Society Press, to be indexed by EI. Further details will be available in due course.

Paper Submission:
For authors who submit their papers to any workshop, the link for paper submission will be announced via the WI / IAT-2009 Workshop Paper Submission page, please check this later.

Note that IAT’09 will accept ONLY on-line submissions, containing PDF versions. A free service to convert a number of widely used file formats to PDF is available at http://createpdf.adobe.com/ (the first five uses of this service are free)

Note that full papers should be limited to a maximum of 4 pages in length in double column format as per IEEE conference proceedings style.

Registration:
At least one author of every accepted paper should register for the WI / IAT-2009 conference. There is no separate workshop registration fee (i.e., only one conference registration covers everything).

Important Dates:

* Full paper submission due: 30 April, 2009
* Notification of acceptance: June 3, 2009
* Camera-ready copy due: June 30, 2009
* Workshop date: September 15, 2009
* Conference date: September 15-18, 2009

Post-Workshop Activity:
We expect that the authors of selected papers will be invited to submit an extended version of their papers for possible publication in a special issue of a relevant journal. The name of the journal will be revealed pending the conclusion of negotiations.

The authors of selected papers from WLIAMAS 2008 were invited to submit an extended and revised version of their papers for possible publication in a special issue of the Journal of Applied Logic (Elsevier).

Related Resources

ICAART 2021   13th International Conference on Agents and Artificial Intelligence
IARCE 2021-Ei Compendex & Scopus 2021   2021 5th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2021)
EXTRAAMAS 2021   EXplainable and TRAnsparent AI and Multi-Agent Systems
CFMAI 2021   2021 3rd International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2021)
ALA 2021   Adaptive and Learning Agents @ AAMAS 2021
EI-ISoIRS 2021   2021 2nd International Symposium on Intelligent Robotics and Systems (ISoIRS 2021)
PAAMS 2021   19th International Conference on Practical Applications of Agents and Multi-agent Systems
JCRAI 2021   2021 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2021)
AMSTA 2021   15th International Conference on Agents and Multi-Agent Systems: Technology and Applications
StoryCase 2012   ICCBR-12 Workshop on Stories, Episodes, and Cases (StoryCase)