Special Sessions

Norms and Normative Multi-Agent Systems

Session Organiser: Guido Governatori, NICTA, Australia

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. Accordingly, any agent or multi agent system, if intended to operate in or model a realistic environment has to take into account to norms regulating. 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
• agent autonomy and norms
• agent deliberation and norms
• normative agent types
• programming normative multi-agent systems

Formatting and submision instructions can be found here.

Logics for Games and Strategic Reasoning

Session Organiser: Wojtek Jamroga, University of Luxembourg, Luxembourg

Strategic reasoning occurs in many multi-agent systems. This is especially evident in game-theoretical and decision-theoretical models of MAS, but also in more informal settings using the game metaphor (like computer games or social network services). Mathematical logic can contribute to this view in many ways by providing specifications, models, and/or algorithms for game-like scenarios. We invite papers that address how logic can contribute to our understanding, modeling and analysis of games, but also ones that investigate how the metaphor of games and strategies can help in constructing and using logical formalisms.

We invite submissions related to (but not limited to) one or more of the following topics on Logics for Games and Strategic Reasoning:

• Logics for reasoning about games and strategies
• Modal logics of strategic ability
• Logical foundations of game and decision theory
• Logical approaches to rationality and bounded rationality
• Solving games and verification of strategies by model checking
• Logics for mechanism design
• Game semantics for logics
• Games in verification of logical specifications

Formatting and submision instructions can be found here.

 

Lisbon, Portugal

History

Sightseeing

Museums

City Walks