Image

COIN 2014

18th International Workshop on Coordination, Organisations, Institutions and Norm Co-located with PRIMA and PRICAI conferences to be held in Gold Coast, Australia (1-5 December 2014)

Program - Thursday, December 4th, 2014 (New!!!)

  • 10:30 – 11:30: KEYNOTE: Prof. Guido Governatori

    TITLE: Thou Shalt is not You Will

    ABSTRACT: Temporal logic has been successfully used for the verification of software and hardware. Also it has been proposed for modelling the behaviour of agents under normative constraints. Business Process Compliance can be seen as special form of verification where the formal specifications for a process or the plan library of an agent are verified again formal specifications for the norms. Temporal logics have been advanced as a tool for this type of verification as well. In the first part of the presentation we propose an abstract semantics for the normative requirements. In the second part we investigate the suitability of temporal logic to model compliance, and we point out some shortcomings.

    SPEAKER BIO: Guido Governatori received the PhD degree in legal informatics from the University of Bologna, Italy. He is a senior principal researcher in the Software Systems Research Group at NICTA, where he leads the research activities on business process compliance. His research interests include defeasible reasoning, modal deontic and non-classical logics and their applications to normative reasoning, agent systems, and business process modelling. He has authored over 250 research publications, and serves as editor of the Deontic Logic corner of the Journal of Logic and Computation, and the Norms and Agents section of Artificial Intelligence and Law journal.

    11:30 – 12:00: Contextualized Planning Using Social Practices (Frank Dignum and Virginia Dignum)

    12:00 – 1:30 : LUNCH

    1:30 – 2:00 : MDP-Based Reward Design for Efficient Cooperative Problem (Huan Jiang and Shigeo Matsubara)

    2:00 – 2:30 : Improving energy outcomes in dynamically formed micro-grid coalitions (Muhammad Yasir, Martin Purvis, Maryam Purvis and Bastin Tony Roy Savarimuthu)

    2:30 – 3:00 : Designing Organization-Aware Agents using OJAzzIC (Kathleen Keogh and Liz Sonenberg)

    3:00 – 3:30 : AFTERNOON TEA

    3:30 – 4:00 : Building an Artificial Primitive Human Society: an Agent-Based Approach (SHORT PAPER) (Marzieh Jahanbazi, Christopher Frantz, Maryam Purvis and Martin Purvis)

    4:00 – 4:30 : Holonic Institutions, or Institutionalised Holonics (SHORT PAPER) (Ada Diaconescu and Jeremy Pitt)

    4:30 – 5:00 : PANEL DISCUSSION: The path to impact for the COIN community (CHAIR: Virginia Dignum)

    5:00 : WORKSHOP CLOSE

Description

  • The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems. Open systems comprise loosely coupled entities interacting within a society that usually has some overall measures of quality or efficiency. However, achieving and maintaining a "good" society is difficult to achieve as the participating entities, their modes of interaction or the intended purpose of the system may change over time. Moreover, in the case of open multi-agent systems, the autonomy of the agents can work against the effectiveness of the society. There is therefore a need for tools and techniques for articulating and/or regulating interactions in order to make the system more effective in attaining collective goals, more certain for participants or more predictable. Coordination, organizations, institutions and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshops constitute a space for debate and exploration of these four elements that are central in the design and use of open systems.

    We seek to attract high quality papers addressing mathematical, logical, computational, philosophical and pragmatic issues related to the four aspects of COIN. We invite the submission short papers up to 6 pages and long papers up to 16 pages (both according to the Springer LNCS formatting specifications). In particular, we invite the following types of papers:


  1. Regular research papers (long)
  2. Work in progress research papers (short): describing on-going work and research ideas that are not yet mature enough to submit as a long paper
  3. Demo papers: papers describing a software tool or platform. (short)
  4. Bridge papers: papers highlighting techniques from areas outside agent technology (or parts of the agent community that are not typically represented in COIN) that are potentially of interest to the COIN community, e.g., techniques from the business process modeling community, from software engineering, etc. (short)
  5. Demo comparison papers: papers comparing several tools or platforms, highlighting similarities and differences, to help researchers decide which tools might be most suitable for their needs (short or long)

Topics of Interest

  • Topics of particular interest for regular research papers for COIN@PRIMA 2014 include, but are not limited to:

- logics, languages and tools for specifying coordination and norms, implementing or simulating organizations and institutions;
- law of open multi-agent systems: regulatory compliance, penalty and sanctions, dispute resolution and conflict prevention;
- agent societies and communities, social networks, electronic institutions and virtual organizations;
- formal lifecycle models: formation, maintenance, evolution and dissolution of organizations, institutions and normative multi-agent systems;
- formal methods for specifying coordination and organizational structures; models for verification, validation and visualization;
- autonomic institutions and self-organization in multi-agent systems;
- frameworks and protocols for organized and organizational adaptation;
- mechanisms for governance of common pool resources;
- agent environments: physical and institutional resources for physical capability and institutional power;
- discovery, openness and interoperation in organizations and institutions;
- mixed human-agent coordination and institutions in virtual worlds;
- participatory simulation.
- reports on implemented systems.

Proceedings

  • Preliminary proceedings will be available at the workshop. As with previous COIN workshops, revised and extended versions of the papers of both the two 2014 workshops (the first workshop in 2014 was held at AAMAS) will be published in a single Springer LNCS volume. Those revised versions must take into account the discussion held during the workshop, hence, only those papers that are presented during the workshop will be considered for inclusion in the post proceedings volume.

Workshop Schedule


Workshop Papers due: October 3, 2014 (new)
Notification of Acceptance: October 24, 2014
Workshop Proceedings due:  November 19, 2014
Workshop Dates: December 4 or 5, 2014

Submission

Organization

  1. Aditya Ghose, University of Wollongong, Australia (aditya@uow.edu.au)
  2. John Thangarajah, RMIT University, Australia (johnt@rmit.edu.au)