Workshop on Knowledge Representation for Agents and Multi-Agent Systems
(KRAMAS 2008)

To enhance cross-fertilization between the KR (Knowledge Representation and Reasoning) and agent communities, this year's edition of KR features a one-day workshop on knowledge representation theories and techniques for agent-based systems. Papers are welcomed on KR-related work as applied to either single agent or multi-agent systems.

 Possible topics include (but are not limited to):
  • Knowledge Representation & Reasoning aspects of agent systems (languages, ontologies, techniques)
  • Reasoning about (actions of) agents
  • Reasoning methods (such as non-monotonic reasoning, abduction, argumentation, diagnosis, planning, decision-making under uncertainty, reasoning about preference, ...) applied to agents and multi-agent systems (MAS)
  • Theory of negotiation, communication, cooperation, group decision-making, game theory for MAS
  • Cognitive robotics
  • Representations of other agents / opponent models
  • Logics for intelligent agents and MAS
  • Specification and verification techniques for agents
  • Automated reasoning techniques for agent-based systems
  • Logical foundations of agent-based systems, normative MAS and e-institutions
  • Formal semantics of agent programming languages
  • Formal techniques for agent-oriented programming and agent-oriented software engineering

Informal pre-proceedings will be distributed at the workshop. All good quality papers will be included in the post-proceedings to be published in the Springer Lecture Notes series.

Submission Information

Submission of papers describing relevant preliminary or completed but unpublished work are invited. Submissions should be formatted using Springer's LNCS style ( and have a maximum of 15 pages. Authors can submit their abstracts and papers through the following Cyberchair URL:

Important Dates

  • Submission Deadline: June 1
  • Notification to Authors: July 1
  • Camera Ready due: July 15
  • Workshop: September September 17
  • Program Chair 
    John-Jules Meyer

    Workshop Chairs
    John-Jules Meyer (Utrecht University, The Netherlands)
    Jan Broersen (Utrecht University, The Netherlands)

    Program Committee

    Thomas Agotnes (Berghen, Norway)
    Natasha Alechina (Nottingham, UK)
    Jamal Bentahar (Montreal, Canada)
    Rafael Bordini (Durham, UK)
    Jan Broersen (Utrecht, Netherlands)
    Mehdi Dastani (Utrecht, Netherlands)
    Giuseppe De Giacomo (Rome, Italy)
    Hans van Ditmarsch (Otago, New Zealand)
    Jurgen Dix (Clausthal, Germany)
    Andreas Herzig (Toulouse, France)
    Wiebe van der Hoek (Liverpool, UK)
    Wojciech Jamroga (Clausthal, Germany)
    Catholijn Jonker (Delft, Netherlands)
    Yves Lesperance (York Univ., Toronto, Canada)
    Alessio Lomuscio (London, UK)
    Timothy Norman (Aberdeen, UK)
    Henry Prakken (Utrecht, Netherlands)
    Alessandro Ricci (Cesena, Italy)
    Renate Schmidt (Manchester, UK)
    Carles Sierra (Barcelona, Spain)
    Francesca Toni (London, UK)
    Rineke Verbrugge (Groningen, Netherlands)