{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:43:22Z","timestamp":1743014602465,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642240157"},{"type":"electronic","value":"9783642240164"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24016-4_6","type":"book-chapter","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T00:44:09Z","timestamp":1314751449000},"page":"106-123","source":"Crossref","is-referenced-by-count":0,"title":["Using the Perseus System for Modelling Epistemic Interactions"],"prefix":"10.1007","author":[{"given":"Magdalena","family":"Kacprzak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Kulicki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Trypuz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katarzyna","family":"Budzynska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Garbacz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Lechniak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pawe\u0142","family":"Rembelski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic logic for AI and computer science","author":"J.-J.C.. Meyer","year":"1995","unstructured":"Meyer, J.-J.C., van der Hoek, W.: Epistemic logic for AI and computer science. Cambridge University Press, Cambridge (1995)"},{"key":"6_CR2","series-title":"Synthese Library Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic.","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series, vol.\u00a0337. Springer, Heidelberg (2007)"},{"key":"6_CR3","volume-title":"Reasoning About Knowledge","author":"R. Fagin","year":"2003","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (2003)"},{"key":"6_CR4","first-page":"165","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.: Logics for epistemic programs. Knowledge, Rationality & Action (Synthese)\u00a0139, 165\u2013224 (2004)","journal-title":"Knowledge, Rationality & Action (Synthese)"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-04617-9_48","volume-title":"KI 2009: Advances in Artificial Intelligence","author":"P. Garbacz","year":"2009","unstructured":"Garbacz, P., Kulicki, P., Lechniak, M., Trypuz, R.: Beyond public announcement logic: An alternative approach to some AI puzzles. In: Mertsching, B., Hund, M., Aziz, Z. (eds.) KI 2009. LNCS, vol.\u00a05803, pp. 379\u2013386. Springer, Heidelberg (2009)"},{"key":"6_CR6","series-title":"SCI","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-03958-4_18","volume-title":"New Challenges in Computational Collective Intelligence","author":"P. Garbacz","year":"2009","unstructured":"Garbacz, P., Kulicki, P., Lechniak, M., Trypuz, R.: A formal model for epistemic interactions. In: Nguyen, N.T., Katarzyniak, R., Janiak, A. (eds.) New Challenges in Computational Collective Intelligence. SCI, pp. 205\u2013216. Springer, Heidelberg (2009)"},{"key":"6_CR7","unstructured":"Kulicki, P., Garbacz, P., Trypuz, R., Lechniak, M.: Epistemic capacities, incompatible information and incomplete beliefs. In: Arrazola, X., Ponte, M. (eds.) LogKCA 2010. Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, pp. 255\u2013273. University of the Basque Country Press (2010)"},{"key":"6_CR8","doi-asserted-by":"crossref","first-page":"51","DOI":"10.3233\/FUN-2008-851-405","volume":"85","author":"K. Budzy\u0144ska","year":"2008","unstructured":"Budzy\u0144ska, K., Kacprzak, M.: A logic for reasoning about persuasion. Fundamenta Informaticae\u00a085, 51\u201365 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"65","DOI":"10.3233\/FI-2009-0088","volume":"93","author":"K. Budzy\u0144ska","year":"2009","unstructured":"Budzy\u0144ska, K., Kacprzak, M., Rembelski, P.: Perseus. software for analyzing persuasion process. Fundamenta Informaticae\u00a093, 65\u201379 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR10","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/978-3-642-13480-7_33","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"M. Kacprzak","year":"2010","unstructured":"Kacprzak, M., Kulicki, P., Trypuz, R., Budzynska, K., Garbacz, P., Lechniak, M., Rembelski, P.: Using perseus system for modelling epistemic interactions. In: J\u0119drzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds.) KES-AMSTA 2010. LNCS (LNAI), vol.\u00a06070, pp. 315\u2013324. Springer, Heidelberg (2010)"},{"key":"6_CR11","unstructured":"Petty, R.E., Cacioppo, J.T.: Attitudes and Persuasion: Classic and Contemporary Approaches. Westview Press (1996)"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"14","author":"B. Russell","year":"1905","unstructured":"Russell, B.: On Denoting. Mind\u00a014, 479\u2013493 (1905)","journal-title":"Mind"},{"key":"6_CR13","unstructured":"Eijck, J.V., Orzan, S.: Modelling the epistemics of communication with functional programming. In: 6th Symposium on Trends in Functional Programming, TFP 2005, pp. 44\u201359 (2005)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Richards, S., Sadrzadeh, M.: Aximo: Automated axiomatic reasoning for information update. Electronic Notes in Theoretical Computer Science, ENTCS (2009)","DOI":"10.1016\/j.entcs.2009.02.037"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer Aided Verification","author":"A. Lomuscio","year":"2009","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A model checker for the verification of multi-agent systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 682\u2013688. Springer, Heidelberg (2009)"},{"key":"6_CR16","first-page":"119","volume-title":"Proc. of the International Workshop on Petri Nets and Software Engineering (PNSE 2009)","author":"M. Kacprzak","year":"2009","unstructured":"Kacprzak, M., Nabia\u0142ek, W., Niewiadomski, A., Penczek, W., P\u00f3\u0142rola, A., Szreter, M., Wo\u017ana, B., Zbrzezny, A.: Verics 2008 - a model checker for time petri nets and high-level languages. In: Proc. of the International Workshop on Petri Nets and Software Engineering (PNSE 2009), pp. 119\u2013132. University of Hamburg, Department of Informatics, Paris, France (2009)"},{"issue":"1","key":"6_CR17","doi-asserted-by":"crossref","first-page":"35","DOI":"10.3233\/FI-2010-295","volume":"102","author":"K. Budzy\u0144ska","year":"2010","unstructured":"Budzy\u0144ska, K., Kacprzak, M., Rembelski, P.: Update of probabilistic beliefs: Implementation and parametric verification. Fundamenta Informaticae\u00a0102(1), 35\u201348 (2010)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Collective Intelligence V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24016-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T12:34:38Z","timestamp":1741523678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24016-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642240157","9783642240164"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24016-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}