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

Prague, Czech Republic, August 18-19, 2014

Special Sessions

Logics for Games, Strategic Reasoning, and Social Choice

Session Organiser:

Strategic reasoning occurs in many multi-agent scenarios. This is evident in theoretical approaches to MAS, as well as in practical solutions used, for example, in computer games, IT infrastructures for e-voting procedures, social network services, etc. We invite submissions that address how formal logic can contribute to our understanding, modeling and analysis of strategic behavior. Papers that investigate how the metaphors of game and social interaction can help in constructing and using logical formalisms are also invited.

The list of subjects includes (but is not limited to) the following topics:

  • Logics for reasoning about games and strategies,
  • Modal logics of strategic ability,
  • Logical foundations of game theory, decision theory, and social choice theory,
  • Logical approaches to rationality and bounded rationality,
  • Solving games and verification of strategic ability by model checking,
  • Logics for social interaction and social choice,
  • Logics for mechanism design,
  • Game semantics for logics,
  • Games in verification of logical specifications,
  • Logic-based specification and verification of security in social choice procedures.

Formatting and submission instructions can be found here.

Logics for Agreement Technologies

Session Organiser:

A growing number of computer systems are based on software agents, which act on behalf of humans. These agents are becoming increasingly responsible for complex tasks delegated to them, interacting with each other in sophisticated ways so as to forge agreements in the interest of human users. The CLIMA XV Special Session on Logics for Agreement Technologies aims at expanding the state-of-the-art on logic-based approaches and technologies to enable different aspects of many-party agreements and to support the lifecycle of such systems.

We invite submissions on logic-based approaches, computational models, methodologies and frameworks for software agents and multi-agent systems, addressing (but not limited to) the following topics:

  • Negotiation
  • Formal argumentation
  • Software agent organisations
  • Electronic institutions
  • Trust and reputation
  • Norms and normative systems
  • Social computing

Formatting and submission instructions can be found here.