Logics for Multiagent Systems
Hoek, Wiebe van der (University of Liverpool) | Wooldridge, Michael (University of Liverpool)
We present a brief survey of logics for reasoning about multiagent systems. We focus on two paradigms: logics for cognitive models of agency, and logics used to model the strategic structure of a multiagent system.
Oct-11-2012
- Technology: