KRAMAS CfP

[Wojtek Jamroga]

[Apologies if you receive multiple copies of this message]


   KNOWLEDGE REPRESENTATION FOR AGENTS AND MULTI-AGENT SYSTEMS
                        (KRAMAS 2008)
       http://www.cs.uu.nl/events/kramas2008/kramas.html
            Workshop @ KR'08 (Sydney, July 2008)

                       Call for Papers


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 (non-exhaustive list)

- 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

PROCEEDINGS

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 (pending confirmation of the
preliminary agreement we have with Springer).

SUBMISSION DETAILS

Submission of papers describing relevant preliminary or completed but
unpublished work are invited. Submissions should be formatted using
Springer's LNCS style (http://www.springer.de/comp/lncs/authors.html)
and have a maximum of 15 pages. Authors can submit their abstracts and
papers through the Cyberchair URL un the web site
http://www.cs.uu.nl/events/kramas2008/kramas.html

IMPORTANT DATES

Submission Deadline: June 1st
Notification to Authors: July 1st
Camera Ready due: July 15th
Workshop: September 16-19 (exact date to be determined)

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)