Computational Logic in Multi-Agent Systems
14th International Workshop
Corunna, Spain, September 16-18, 2013

Special SessionS

Argumentation Technologies

Session Organisers:

Argumentation is an important and exciting topic in Artificial Intelligence, where uses of argumentation have increased in recent years, throughout a variety of subdisciplines. Research activities range from theory to applications. The CLIMA XIV Special Session on Argumentation Technologies is intended to be a forum to discuss concepts, theories, methodologies, and applications of computational models of argumentation.

We invite submissions related to (but not limited to) one or more of the following topics:

  • Computational models of (natural) argument
  • Argumentation in artificial societies
  • Argumentation in social networks
  • Argumentation in multi-agent systems
  • Dialogues, negotiation and dynamic aspects in argumentation
  • Argument-based interaction and persuasion
  • Innovative applications of computational argumentation
  • Agreement technologies

Formatting and submision instructions can be found here.

Norms and Normative Multi-Agent Systems

Session Organisers:

Norms are pervasive in everyday life and influence the conduct of the entities subject to them. One of the main functions of norms is to regulate the behaviour and relationships of agents. Norms have been proposed in multi-agent systems and computer science to deal with coordination issues, to deal with security issues of multi-agent systems, to model legal issues in electronic institutions and electronic commerce, to model multi-agent organizations, etc.

We invite submissions related to (but not limited to) one or more of the following topics on agents and norms:

  • logical foundations of normative systems
  • computational models of normative systems
  • computational models of normative multi-agent systems
  • formal models of norm dynamics
  • deontic logic
  • agent autonomy and norms
  • agent deliberation and norms
  • normative agent types
  • programming normative multi-agent systems

Formatting and submision instructions can be found here.