Computational Logic in Multi-Agent Systems 8th International Wor
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the Internation
- PDF / 5,407,758 Bytes
- 309 Pages / 430 x 660 pts Page_size
- 71 Downloads / 263 Views
Subseries of Lecture Notes in Computer Science
5056
Fariba Sadri Ken Satoh (Eds.)
Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII Porto, Portugal, September 10-11, 2007 Revised Selected and Invited Papers
13
Series Editors Randy Goebel, University of Alberta, Edmonton, Canada Jörg Siekmann, University of Saarland, Saarbrücken, Germany Wolfgang Wahlster, DFKI and University of Saarland, Saarbrücken, Germany Volume Editors Fariba Sadri Imperial College London Department of Computing London, UK E-mail: [email protected] Ken Satoh National Institute of Informatics, Sokendai Tokyo, Japan E-mail: [email protected]
Library of Congress Control Number: 2008937800
CR Subject Classification (1998): I.2.11, I.2, C.2.4, F.4 LNCS Sublibrary: SL 7 – Artificial Intelligence ISSN ISBN-10 ISBN-13
0302-9743 3-540-88832-2 Springer Berlin Heidelberg New York 978-3-540-88832-1 Springer Berlin Heidelberg New York
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com © Springer-Verlag Berlin Heidelberg 2008 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12537563 06/3180 543210
Preface
Multi-agent systems are communities of problem-solving entities that can exhibit varying degrees of intelligence. They can perceive and react to their environment, they can have individual or joint goals, for which they can plan and execute actions. Work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. The agent paradigm has become widely popular and widely used in recent years, due to its applicability to a large range of domains, from search engines to educational aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, and ambient intelligence, to cite only some. Computational logic provides a well-defined, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and functionalities of individual agents, as well as interaction amongst agents in multi-agent systems. It also provides a well-defined and rigorous framework for implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems. The CLIMA workshop series was founded to provide a forum
Data Loading...