Computational Logic in Multi-Agent Systems 13th International Worksh
This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions
- PDF / 3,113,462 Bytes
- 224 Pages / 439.363 x 666.131 pts Page_size
- 99 Downloads / 225 Views
LNAI Founding Series Editor Joerg Siekmann DFKI and Saarland University, Saarbrücken, Germany
7486
Michael Fisher Leon van der Torre Mehdi Dastani Guido Governatori (Eds.)
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII Montpellier, France, August 27-28, 2012 Proceedings
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, UK E-mail: [email protected] Leon van der Torre University of Luxembourg E-mail: [email protected] Mehdi Dastani Utrecht University, The Netherlands E-mail: [email protected] Guido Governatori NICTA, Queensland Research Laboratory St. Lucia, QLD, Australia E-mail: [email protected]
ISSN 0302-9743 e-ISSN 1611-3349 ISBN 978-3-642-32896-1 e-ISBN 978-3-642-32897-8 DOI 10.1007/978-3-642-32897-8 Springer Heidelberg Dordrecht London New York Library of Congress Control Number: 2012945036 CR Subject Classification (1998): I.2.11, F.4.1, D.2, D.3.1-2, I.2.4, F.3 LNCS Sublibrary: SL 7 – Artificial Intelligence
© Springer-Verlag Berlin Heidelberg 2012 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. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Preface
These are the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XIII), held during August 27–28, 2012 in Montpelier, co-located with ECAI. The CLIMA workshops provide a forum for discussing techniques, based on computational logic, for representing, programming, and reasoning about agents and multi-agent systems in a formal way. CLIMA has been successful over a number of years, and further details of previous events can be found at http://centria.di.fct.unl.pt/∼clima. Multi-Agent Systems contain autonomous computational entities perceiving their environment and acting upon it in order to achieve their goals. They integrate many technologies and concepts from Artificial Intelligence and Computer Science, as
Data Loading...
