[agents] Final CFP (NO EXTENSION POSSIBLE): KR-workshop on knowledge representation for agents and MAS (Sydney, July 2008)

[Jan Broersen]

This is the final call for papers (due to a tight schedule there will be
NO EXTENSION) 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.

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 1
Notification to Authors: July 1
Camera Ready due: July 15
Workshop: 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)