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:
- Wojtek Jamroga, University of Luxembourg, Luxembourg
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:
- Wamberto Vasconcelos, University of Aberdeen, UK
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.