1. M. Wooldridge and A. Lomuscio, ‘‘Multi-Agent VSK Logic,’’ in Proceedings of the 7th European Workshop on Logics in Artificial Intelligence (JELIAI-2000) (Springer, Berlin, 2000).
2. M. Wooldridge, ‘‘An automata-theoretic approach to multi-agent planning,’’ in Proceedings of the 1st European Workshop on Multi-agent Systems (EUMAS 2003) (Oxford Univ. Press, New York, 2003).
3. M. Wooldridge, M. P. Huget, M. Fisher, and S. Parsons, ‘‘Model checking multi-agent systems: the MABLE language and its applications,’’ Int. J. Artif. Intell. Tools 15, 195–225 (2006).
4. F. Belardinelli and A. Lomuscio, ‘‘Interactions between lnowledge and time in a first-order logic for multi-agent systems: completeness results,’’ J. Artif. Intell. Res. 45, 1–45 (2012).
5. S. Babenyshev and V. Rybakov, ‘‘Logic of plausibility for discovery in multi-agent environment deciding algorithms,’’ Lect. Notes Comput. Sci. 5179, 210–217 (2008).