Computational Logic in Multi-Agent Systems
11th International Workshop
Lisbon, Portugal, August 16-17, 2010
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:
Formatting and submision instructions can be found here.
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:
Formatting and submision instructions can be found here.