Knowledge Representation for Agents and Multi-Agent Systems

First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers

  • John-Jules Ch. Meyer
  • Jan Broersen

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5605)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5605)

Table of contents

  1. Front Matter
  2. Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur Rakib
    Pages 1-15
  3. Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick Tinnemeier
    Pages 16-31
  4. Hans van Ditmarsch, Tim French
    Pages 51-65
  5. Andreas Herzig, Tiago de Lima, Emiliano Lorini
    Pages 66-80
  6. Tomasz Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge
    Pages 99-113
  7. Carles Sierra, John Debenham
    Pages 130-144
  8. Simeon Simoff, Carles Sierra, Ramon López de Màntaras
    Pages 145-160
  9. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems, KRAMAS 2008, held in Sydney, Australia, in September 2008 as a satellite event of KR 2008, the 11th International Conference on Principles of Knowledge Representation and Reasoning.

The 10 revised full papers presented were carefully reviewed and selected from 14 submissions. The papers foster the cross-fertilization between the KR (knowledge representation and reasoning) and agent communities, by discussing knowledge representation theories and techniques for agent-based systems.

Keywords

BDI Multi-agent system agent programming languages agent-oriented programming agents authentication automated reasoning bisimulation quantifier case-based learning case-based reasoning cognitive robotics cooperative agents group knowledge knowledge representation

Editors and affiliations

  • John-Jules Ch. Meyer
    • 1
  • Jan Broersen
    • 2
  1. 1.Department of Information and Computing SciencesUniversiteit UtrechtUtrechtThe Netherlands
  2. 2.Department of Information and Computing SciencesUniversiteit UtrechtUtrechtThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-05301-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-05300-9
  • Online ISBN 978-3-642-05301-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book