NORMC: a Norm Compliance Temporal Logic Model Checker. P Kazmierczak, T Pedersen, T Ågotnes STAIRS, 168-179, 2012 | 14 | 2012 |
Multi-agency is coordination and (limited) communication P Kaźmierczak, T Ågotnes, W Jamroga PRIMA 2014: Principles and Practice of Multi-Agent Systems: 17th …, 2014 | 11 | 2014 |
Concurrent game structures with roles T Pedersen, S Dyrkolbotn, P Kaźmierczak, E Parmann arXiv preprint arXiv:1303.0792, 2013 | 4 | 2013 |
Gerhard Weiss (ed.): Multiagent Systems: MIT Press, 867 pp., ISBN 978-0-262-01889-0 P Kaźmierczak KI-Künstliche Intelligenz 28 (3), 223-224, 2014 | 1 | 2014 |
Big, but not unruly: Tractable norms for anonymous game structures T Pedersen, S Dyrkolbotn, P Kaźmierczak arXiv preprint arXiv:1405.6899, 2014 | 1 | 2014 |
Playing with norms: tractability of normative systems for homogeneous game structures S Dyrkolbotn, P Kazmierczak Proceedings of the 2014 international conference on Autonomous agents and …, 2014 | 1 | 2014 |
No big deal: introducing roles to reduce the size of ATL models S Dyrkolbotn, P Kaźmierczak, E Parmann, T Pedersen arXiv preprint arXiv:1204.3495, 2012 | 1 | 2012 |
Compliance Games P Kaźmierczak European Conference on Multi-Agent Systems, 210-218, 2014 | | 2014 |