{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:27:45Z","timestamp":1737437265507,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752530"},{"type":"electronic","value":"9783540752547"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75254-7_2","type":"book-chapter","created":{"date-parts":[[2007,9,12]],"date-time":"2007-09-12T07:10:25Z","timestamp":1189581025000},"page":"11-21","source":"Crossref","is-referenced-by-count":8,"title":["Abstractions of Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Constantin","family":"Enea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catalin","family":"Dima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-45251-6_5","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"M. Chechik","year":"2001","unstructured":"Chechik, M., Easterbrook, S.M., Petrovykh, V.: Model-checking over multi-valued logics. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol.\u00a02021, pp. 72\u201398. Springer, Heidelberg (2001)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of POPL, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"2_CR3","unstructured":"Dams, D.: Abstract Interpretation and Partial Refinement for Model Checking. PhD thesis, Technische Universit\u00e4t Eindhoven (1996)"},{"key":"2_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/978-3-540-27813-9_41","volume-title":"Computer Aided Verification","author":"P. Gammie","year":"2004","unstructured":"Gammie, P., van der Meyden, R.: MCK: Model checking the logic of knowledge. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 479\u2013483. Springer, Heidelberg (2004)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"Ginsberg, M.: Multivalued logics. A uniform approach to inference in artificial intelligence. Computational Intelligence\u00a04, 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Konikowska, B., Penczek, W.: Model checking for multivalued logic of knowledge and time. In: Proceedings of AAMAS, pp. 169\u2013176 (2006)","DOI":"10.1145\/1160633.1160661"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/11691372_31","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Lomuscio","year":"2006","unstructured":"Lomuscio, A., Raimondi, F.: MCMAS: A model checker for multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol.\u00a03920, pp. 450\u2013454. Springer, Heidelberg (2006)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Specification. Springer, Heidelberg (1992)","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"2_CR10","unstructured":"O\u2019Neill, K.R., Halpern, J.Y.: Secrecy in multiagent systems. CoRR, cs.CR\/0307057 (2003)"},{"issue":"8-9","key":"2_CR11","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1007\/s00236-006-0010-3","volume":"42","author":"F.L. Tiplea","year":"2006","unstructured":"Tiplea, F.L., Enea, C.: Abstractions of data types. Acta Informatica\u00a042(8-9), 639\u2013671 (2006)","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Applications V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75254-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T23:28:56Z","timestamp":1737415736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75254-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540752530","9783540752547"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75254-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}