-----Original Message-----
From: CLIMA-VII [mailto:[log in to unmask]]
Sent: 22 November 2005 13:35
To: [log in to unmask]
Subject: CLIMA VII: First CFP



[Apologies for cross-postings. Please send to your colleagues.]


===================== Call for Papers ===================== 

                         CLIMA VII 
              Seventh International Workshop on 
         Computational Logic in Multi-Agent Systems 

                       May 8,9 2006 
       in association with AAMAS2006 (May 8 - 12, 2006) 
            Future University, Hakodate, Japan 
              http://www.fun.ac.jp/aamas2006/ 

            http://research.nii.ac.jp/climaVII/ 

=========================================================== 


Aims and scope
--------------

Multi-Agent Systems are communities of problem-solving entities 
that can perceive and act upon their environment to achieve their 
individual goals as well as joint goals.  The work on such systems 
integrates many technologies and concepts in artificial intelligence 
and other areas of computing as well as other disciplines.  
Over recent years, the agent paradigm gained popularity, due to 
its applicability to a full spectrum of domains, from search engines 
to educational aids to electronic commerce and trade, e-procurement, 
recommendation systems, simulation and routing, to cite only some.  

Computational logic provides a well-defined, general, and rigorous 
framework for studying syntax, semantics and procedures for various 
tasks by individual agents, as well as interaction amongst agents in 
multi-agent systems, for implementations, environments, tools, 
and standards, and for linking together specification and 
verification 
of properties of individual agents and multi-agent systems.  

The purpose of this workshop is to discuss techniques, based on 
computational logic, for representing, programming and reasoning 
about agents and multi-agent systems in a formal way.  
We solicit unpublished papers on agents and multi-agent systems 
based upon or relating to computational logic.  
You can find further information regarding the previous edition of 
CLIMA in http://clima.deis.unibo.it/ and the history of CLIMA in 
http://research.nii.ac.jp/climaVII/about.html.   


Topics
------

Relevant topics include, but are not limited to, the following: 

 * logical foundations of (multi-)agent systems 
 * extensions of logic programming for (multi-)agent systems 
 * modal logic approaches to (multi-)agent systems 
 * logic-based programming languages for (multi-)agent systems 
 * non-monotonic reasoning in (multi-)agent systems 
 * decision theory for (multi-)agent systems 
 * agent and multi-agent hypothetical reasoning and learning 
 * theory and practice of argumentation for agent reasoning and 
interaction 
 * knowledge and belief representation and updates in (multi-)agent 
systems 
 * operational semantics and execution agent models 
 * model checking algorithms, tools, and applications for (multi-)
agent logics 
 * semantics of interaction and agent communication languages 
 * distributed constraint satisfaction in multi-agent systems 
 * temporal reasoning for (multi-)agent systems 
 * distributed theorem proving for multi-agent systems 
 * logic-based implementations of (multi-)agent systems 
 * specification and verification of formal properties of (multi-)
agent systems 


Submissions
-----------

We welcome and encourage the submission of high quality, original 
papers, 
which are not simultaneously submitted for publication elsewhere.  

Papers should be written in English, formatted according to the 
Springer 
Verlag LNCS style, which can be obtained from 
http://www.springeronline.com, 
and not exceed 16 pages including figures, references, etc.  

Each paper should include *some examples* illustrating the proposed 
techniques.  


Proceedings and post-workshop publications
------------------------------------------

A printed volume of the proceedings will be available at the 
workshop.  

Authors of papers presented at the workshop will be asked to extend 
their 
contributions, possibly incorporating the results of the workshop 
discussion, 
to be included in the workshop post-proceedings, after another round 
of 
refereeing.  Springer Verlag has accepted in principle to publish 
the 
post-proceedings as a volume of the Lecture Notes in Artificial 
Intelligence 
series.  


Important Dates
---------------

- Submission Deadline: January 15, 2006 
- Notification: February 19, 2006 
- Camera Ready Copy Due: March 10, 2006 
- CLIMA VII: May 8 and 9, 2006 


Workshop Chairs
---------------

Katsumi Inoue, National Institute of Informatics, Japan 
Ken Satoh, National Institute of Informatics, Japan 
Francesca Toni, Imperial College London, UK 

Email: [log in to unmask]


Programme Committee
-------------------

Jose Julio Alferes, New University of Lisbon, Portugal 
Rafael H. Bordini, University of Durham, UK 
Gerhard Brewka, University of Leipzig, Germany 
Stefania Costantini, University of L'Aquila, Italy 
Juergen Dix, Technical University of Clausthal, Germany 
Patrick Doherty, Linkoping University, Sweden 
Phan Ming Dung, AIT, Thailand 
Thomas Eiter, Vienna University of Technology, Austria 
Klaus Fischer, DFKI, Germany 
Michael Fisher, The University of Liverpool, UK 
Michael Gelfond, Texas Technical University, USA 
James Harland, RMIT, Australia 
Hisashi Hayashi, Toshiba, Japan 
Wiebe van der Hoek, The University of Liverpool, UK 
Antonis Kakas, University of Cyprus, Cyprus 
Joao Leite, New University of Lisbon, Portugal 
Fangzhen Lin, Hong Kong University of Science and Technology, Hong 
Kong 
Paola Mello, University of Bologna, Italy 
John Jules Ch. Meyer, Utrecht University, The Netherlands 
Leora Morgenstern, IBM T.J. Watson Research Center, USA 
Naoyuki Nide, Nara Women's University, Japan 
Maurice Pagnucco, University of New South Wales, Australia 
Wojciech Penczek, Polish Academy of Sciences, Poland 
Enrico Pontelli, New Mexico State University, USA 
Fariba Sadri, Imperial College London, UK 
Chiaki Sakama, Wakayama University, Japan 
Abdul Sattar, Griffith University, Australia 
Hajime Sawamura, Niigata University, Japan 
Renate Schmidt, University of Manchester, UK 
Trao Can Son, New Mexico State University, USA 
Kostas Stathis, City University London, UK 
Michael Thielscher, Dresden University of Technology, Germany 
Satoshi Tojo, Japan Advanced Institute of Science and Technology, 
Japan 
Paolo Torroni, University of Bologna, Italy 
Marina de Vos, University of Bath, UK 
Cees Witteveen, Delft University of Technology, The Netherlands 


Home page of CLIMA VII:  http://research.nii.ac.jp/climaVII