Fifth International Workshop on Strategic Reasoning
Views: 754
When : 2017-07-26
Where : University of Liverpool, UK
Submission Deadline : 2017-05-15
Categories : Robotics , Automation
Fifth International Workshop on Strategic Reasonings
( SR 2017 )
Jul 26 - 27, 2017,University of Liverpool, UK
Call for Papers:
Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversary, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent-based reasoning that take into account the likely behavior of adversaries.
Topics:
- Logics for reasoning about strategic abilities
- Logics for multi-agent mechanism design, verification, and synthesis
- Logical foundations of decision theory for multi-agent systems
- Strategic reasoning in formal verification
- Automata theory for strategy synthesis
- Strategic reasoning under perfect and imperfect information
- Applications and tools for cooperative and adversarial reasoning
- Robust planning and optimisation in multi-agent systems
- Risk and uncertainty in multi-agent systems
- Quantitative aspects in strategic reasonings
Important Dates:
- Workshop/Tutorial Proposal deadline:May 15, 2017
- Notification of Acceptance:Jun 16, 2017
- FinalVersion Due:Jun 30, 2017
User Name : Jackson
Posted 01-04-2017 on 15:13:30 AEDT
Related CFPs
NLCAI 2026 7th International Conference on Natural Language Computing and AI (NLCAI 2026)IJAMSE International Journal of Advances in Materials Science and Engineering
IJAMSE International Journal of Advances in Materials Science and Engineering
ANTJ Advanced Nanoscience and Technology: An International Journal