Logic and game theory for social mechanisms

  • Authors:
  • Sieuwert van Otterloo

  • Affiliations:
  • University of Liverpool, Liverpool

  • Venue:
  • Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

My research is focused on checking multi-agent protocols for their game theoretic properties, using logic and occasionally information theory. The main results involve computational complexity for several classes of properties, such as properties involving knowledge, assuming commonly known strategies, or nested preferences.