Author:
Kacprzak Magdalena,Sawicka Anna,Zbrzezny Andrzej
Publisher
Springer International Publishing
Reference13 articles.
1. Bentahar, J., Meyer, J.J.C., Wan, W.: Model checking agent communication. In: Dastani, M., Hindriks, K., Meyer, J.J. (eds.) Specification and Verification of Multi-agent Systems, pp. 67–102. Springer, Boston (2010).
https://doi.org/10.1007/978-1-4419-6984-2_3
2. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite state concurrent systems using temporal logic specifications: a practical approach. In: Wright, J.R., Landweber, L., Demers, A.J., Teitelbaum, T. (eds.) Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 117–126. ACM Press (1983)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);B Dunin-Kȩplicz,2015
4. Ekman, P.: An argument for basic emotions. Cogn. Emot. 6, 169–200 (1992)
5. Kacprzak, M., Dziubiński, M., Budzyńska, K.: Strategies in dialogues: a game-theoretic approach. In: Computational Models of Argument - Proceedings of COMMA 2014, pp. 333–344 (2014)