CFP: KR-workshop on knowledge representation for agents and MAS (Sydney, july 2008)

[Jan Broersen]

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)


-- 
   ------- Jan Broersen ------------- Intelligent Systems Group --
   -- www.cs.uu.nl/~broersen/ ---------- Universiteit Utrecht ----
   ---- tel: +31 302533193 ------------ Padualaan 14, De Uithof --
   ---- fax: +31 302513791 --------------- 3584 CH  UTRECHT ------
--