Computational Logic in Multi-Agent Systems 9th International Wor
This book constitutes the thoroughly refereed and revised proceedings of the 9th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IX, held in Dresden, Germany, in September 2008 and co-located with the 11th European Conference
- PDF / 3,104,076 Bytes
- 182 Pages / 430 x 660 pts Page_size
- 51 Downloads / 188 Views
Subseries of Lecture Notes in Computer Science
5405
Michael Fisher Fariba Sadri Michael Thielscher (Eds.)
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX Dresden, Germany, September 29-30, 2008 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 Michael Fisher University of Liverpool Department of Computer Science Ashton Street, Liverpool, L69 3BX, UK E-mail: [email protected] Fariba Sadri Imperial College London Department of Computing 180 Queen’s Gate, London, SW7 2AZ, UK E-mail: [email protected] Michael Thielscher Dresden University of Technology Department of Computer Science Artificial Intelligence Institute Computational Logic Group Nöthnitzer Str. 46, 01187 Dresden, Germany E-mail: [email protected]
Library of Congress Control Number: 2009930215
CR Subject Classification (1998): F.3, D.3.2, F.4, I.2.3-4, D.3, H.1.1, G.2 LNCS Sublibrary: SL 7 – Artificial Intelligence ISSN ISBN-10 ISBN-13
0302-9743 3-642-02733-4 Springer Berlin Heidelberg New York 978-3-642-02733-8 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.com © Springer-Verlag Berlin Heidelberg 2009 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12693702 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 very 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, 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-defin
Data Loading...
