ELSNET-list archive

Category:   E-CFP
Subject:   CLIMA IV Computational Logic, Multi-Agent Systems
Email:   jleite_(on)_di.fct.unl.pt
Date received:   15 Aug 2003
Deadline:   19 Sep 2003
Start date:   06 Jan 2004

SECOND CALL FOR PAPERS CLIMA IV Fourth International Workshop on Computational Logic in Multi-Agent Systems January 6-7, 2004, Fort Lauderdale, Florida, USA http://centria=2Edi=2Efct=2Eunl=2Ept/%7Ejleite/climaIV/index.htm Post-Proceedings will be published in Springer Verlag LNAI Submission Deadline: September 19th Co-located with the 7th LPNMR and the 8th AIMATH Over recent years, the notion of agency has claimed a major role in defini ng the trends of modern research Influencing a broad spectrum of disciplines such as Sociology, Psychology, Philosophy and many more, the agent paradigm virtually invaded every sub-field of Computer Science, not least because of the Internet and Robotics Multi-agent Systems (MAS) are communities of problem-solving entities that= can perceive and act upon their environments to achieve their individual goals as well as joint goals T he work on such systems integrates many technologies and concepts in artificial intelligence and other areas of co mputing There is a full spectrum of MAS applications that have been and are being developed; from search engin es, educational aids to electronic commerce and trade Although commonly implemented by means of imperative languages, mainly for reasons of efficiency, the agent concept has recently increased its influence in the research and developme nt of computational logic based systems Computational Logic, by virtue of its nature both in substance and method, provides a well-defined, general, and rigorous framework for systematically studying computation, be it syntax, semantics, procedures, or implementations, environments, tools, and standards The purpose of this workshop is to discuss techniques, based on computatio nal logic, for representing, programming and reasoning about multi-agent systems in a formal way This is clearly a major challenge for computational logic, to deal with real world issues and applications Following the workshop on Multi-Agent Systems in Logic Programming affilia ted with ICLP'99, the first CLIMA workshop took place in London, UK, affiliated with CL'2000The 2001 edi tion of CLIMA, took place in Paphos, Cyprus, affiliated with ICLP'01 CLIMA'02 took place in Copenhagen, Denm ark, and was affiliated with ICLP'02 and part of FLOC'02 We solicit unpublished papers that address formal approaches to multi-agen t systems The approaches as well asbeing formal must make a significant contribution to the practice of mul ti-agent systemsRelevant techniques include, but are not limited to, the following: * Nonmonotonic reasoning in MAS * Planning under incomplete information in MAS * Logical foundations of MAS * Usage of abduction in MAS * Representation of knowledge and belief in MAS * Knowledge and belief updates in MAS * Temporal reasoning for MAS * Theory of argumentation for MAS * Negotiation and co-operation for MAS * Communication languages for MAS * Distributed constraint satisfaction in MAS * Modal logic approaches to MAS * Logic based programming languages for MAS * Distributed theorem proving for MAS * Logic based implementations of MAS * Decision theory for MAS * Logic based agents for the Internet SUBMISSION INSTRUCTIONS We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere Please refer to the workshop web pages for fu rther instructions concerning the submission procedures IMPORTANT DATES * Submission: September 19th, 2003 * Notification of Acceptance: October 17th, 2003 * Final version due: November 13th, 2003 * CLIMA IV: January 6-7th, 2004 PROCEEDINGS Post-proceedings will be published by Springer-Verlag as a volume of the L ecture Notes on Artificial Intelligence (LNAI) series Informal proceedings will be available at th e workshop and online PROGRAM COMMITTEE * Chitta Baral, Arizona State University, USA * Gerd Brewka, University of Leipzig, Germany * J=FCrgen Dix, The University of Manchester, UK * Thomas Eiter, Vienna University of Technology, Austria * Klaus Fischer, DFKI, Germany * Michael Fisher, University of Liverpool, UK * James Harland, Royal Melbourne Inst of Tech, Australia * Katsumi Inoue, Kobe University, Japan * Gerhard Lakemeyer, Aachen Univ of Technology, Germany * Jo=E3o Leite, New University of Lisbon, Portugal * Yves Lesp rance, York University, Canada * John Jules Ch Meyer, Univ of Utrecht, The Netherlands * Leora Morgenstern, IBM, USA * Lu=EDs Moniz Pereira, New University of Lisbon, Portugal * Fariba Sadri, Imperial College, UK * Ken Satoh, National Institute of Informatics, Japan * Renate Schmidt, The University of Manchester, UK * Guillermo Simari, Universidad Nacional del Sur, Argentina * V S Subrahmanian, University of Maryland, USA * Francesca Toni, Imperial College, UK * Paolo Torroni, University of Bologna, Italy * Wiebe van der Hoek, University of Liverpool, UK * Cees Witteveen, Delft Univof Tech, The Netherlands WORKSHOP ORGANIZERS: * J=FCrgen Dix, The University of Manchester, UK (dix_(on)_cs.man.Eac.Euk) * Jo=E3o Leite, New University of Lisbon, Portugal (jleite_(on)_di.Efct.unl pt) INQUIRIES: Please send program suggestions and inquires to either of the organizers

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET