Logic List Mailing Archive

Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sydney (Australia), 16-19 Sep 2008

This is a call for papers for a workshop on

KNOWLEDGE REPRESENTATION FOR AGENTS AND MULTI-AGENT SYSTEMS (KRAMAS 2008)

http://www.cs.uu.nl/events/kramas2008/kramas.html

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)