Segui
Piotr Kaźmierczak
Piotr Kaźmierczak
HashiCorp
Email verificata su piotr.is - Home page
Titolo
Citata da
Citata da
Anno
NORMC: a Norm Compliance Temporal Logic Model Checker.
P Kazmierczak, T Pedersen, T ┼gotnes
STAIRS, 168-179, 2012
152012
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
112014
Concurrent game structures with roles
T Pedersen, S Dyrkolbotn, P Kaźmierczak, E Parmann
arXiv preprint arXiv:1303.0792, 2013
42013
Big, but not unruly: Tractable norms for anonymous game structures
T Pedersen, S Dyrkolbotn, P Kaźmierczak
arXiv preprint arXiv:1405.6899, 2014
22014
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
22014
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
12012
Compliance Games
P Kaźmierczak
Multi-Agent Systems: 12th European Conference, EUMAS 2014, Prague, Czechá…, 2015
2015
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
2014
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–8