13th International Workshop on Computational Logic in Multi-Agent Systems

Montpellier, France, August 27-28, 2012

Special Sessions

Logics for Multi-Agent Programming

Session Organiser:

The development of multi-agent systems requires programming languages to implement individual agents, the organisation in which they operate, and the environment with which they interact. Logic plays a fundamental role in the multi-agent programming research field. Executable logic specifications and logic programming can be used to implement multi-agent systems. Logic reasoning engines can be used in the interpreters of multi-agent programming languages to reason about components of multi-agent systems such as an agent's goals and beliefs, the norms and commitments within the agents' organisation, or the state of the agents' environment. Finally, logic can be used to specify the syntax and semantics of multi-agent programming languages, or to verify and reason about multi-agent programs.

This special session on Logics for multi-agent programming invites contributions focusing on the use of logic in multi-agent programming research field.

  • Logical foundation of multi-agent programming
  • Logical semantics for multi-agent programming languages
  • Logics for specification and verification of multi-agent programs
  • Knowledge representation and reasoning for multi-agent programming

Formatting and submision instructions can be found here.

Logics for Agreement Technologies

Session Organiser:

Agreement Technologies refer to computer systems in which autonomous software agents negotiate with one another, typically on behalf of humans, in order to come to mutually acceptable agreements. Agreement Technologies is a new approach of Distributed Artificial Intelligence for constructing large-scale open distributed computer systems. In particular the focus is on the interactions among agent; specifically on aspects such as: norms, organisations, trust, argumentation and negotiation.

We invite submissions on logics, computational models and frameworks for multi-agents and

  • organisations
  • argumentation
  • negotiation
  • norms
  • trust
As well as other aspects relevant to Agreement Technology.

Formatting and submision instructions can be found here.