{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T23:40:34Z","timestamp":1736120434689,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540304623"},{"type":"electronic","value":"9783540316527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589990_82","type":"book-chapter","created":{"date-parts":[[2005,11,26]],"date-time":"2005-11-26T06:28:03Z","timestamp":1132986483000},"page":"790-795","source":"Crossref","is-referenced-by-count":4,"title":["Model Checking Sum and Product"],"prefix":"10.1007","author":[{"given":"H. P.","family":"van Ditmarsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Ruan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. C.","family":"Verbrugge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"17","key":"82_CR1","first-page":"152","volume":"3","author":"H. Freudenthal","year":"1969","unstructured":"Freudenthal, H.: Formulation of the sum-and-product problem. Nieuw Archief voor Wiskunde\u00a03(17), 152 (1969)","journal-title":"Nieuw Archief voor Wiskunde"},{"key":"82_CR2","series-title":"Ablex series in artificial intelligence","volume-title":"Formalizing Common Sense : Papers by John McCarthy","author":"J. McCarthy","year":"1990","unstructured":"McCarthy, J.: Formalization of two puzzles involving knowledge. In: Lifschitz, V. (ed.) Formalizing Common Sense: Papers by John McCarthy. Ablex series in artificial intelligence. Ablex Publishing, Norwood (1990); original manuscript dated 1978\u20131981"},{"key":"82_CR3","unstructured":"Plaza, J.: Logics of public communications. In: Emrich, M., Pfeifer, M., Hadzikadic, M., Ras, Z. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216 (1989)"},{"issue":"4","key":"82_CR4","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1142\/S0129054191000200","volume":"2","author":"G. Panti","year":"1991","unstructured":"Panti, G.: Solution of a number theoretic problem involving knowledge. International Journal of Foundations of Computer Science\u00a02(4), 419\u2013424 (1991)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"82_CR5","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1016\/B978-1-4832-1452-8.50150-0","volume-title":"Proceedings of the 4th international conference on principles of knowledge representation and reasoning (KR)","author":"R. Meyden van der","year":"1994","unstructured":"van der Meyden, R.: Mutual belief revision. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Proceedings of the 4th international conference on principles of knowledge representation and reasoning (KR), pp. 595\u2013606. Morgan Kaufmann, San Francisco (1994)"},{"key":"82_CR6","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., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"82_CR7","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam, CWI Report SEN-R9922 (1999)"},{"key":"82_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"82_CR9","first-page":"630","volume-title":"3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004)","author":"F. Raimondi","year":"2004","unstructured":"Raimondi, F., Lomuscio, A.: Verification of multiagent systems via ordered binary decision diagrams: An algorithm and its implementation. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pp. 630\u2013637. IEEE Computer Society, Los Alamitos (2004)"},{"key":"82_CR10","unstructured":"van Eijck, J.: Dynamic epistemic modelling. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam, CWI Report SEN-E0424 (2004)"},{"key":"#cr-split#-82_CR11.1","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., van der Meyden, R., Ruan, J.: Model checking russian cards. Electronic Notes in Theoretical Computer Science (2005);","DOI":"10.1016\/j.entcs.2005.07.029"},{"key":"#cr-split#-82_CR11.2","unstructured":"To appear Presented at MoChArt 2005 (Model Checking in Artificial Intelligence)"}],"container-title":["Lecture Notes in Computer Science","AI 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589990_82","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T23:05:12Z","timestamp":1736118312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589990_82"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304623","9783540316527"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11589990_82","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}