{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T11:45:47Z","timestamp":1768563947248,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540244226","type":"print"},{"value":"9783540309604","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30960-4_14","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:19:26Z","timestamp":1267125566000},"page":"213-221","source":"Crossref","is-referenced-by-count":6,"title":["Towards Symbolic Model Checking for Multi-agent Systems via obdd\u2019s"],"prefix":"10.1007","author":[{"given":"Franco","family":"Raimondi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","first-page":"161","volume-title":"Philosophical Perspectives in Artificial Intelligence.","author":"J. McCarthy","year":"1979","unstructured":"McCarthy, J.: Ascribing mental qualities to machines. In: Ringle, M. (ed.) Philosophical Perspectives in Artificial Intelligence., Atlantic Highlands, pp. 161\u2013195. Humanities Press, New Jersey (1979)"},{"key":"14_CR2","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems.","author":"M.R.A. Huth","year":"2000","unstructured":"Huth, M.R.A., Ryan, M.D.: Logic in Computer Science: Modelling and Reasoning about Systems., England. Cambridge University Press, Cambridge (2000)"},{"key":"14_CR3","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/544862.544965","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multiagent systems with MABLE. In: Gini, M., Ishida, T., Castelfranchi, C., Johnson, W.L. (eds.) AAMAS 2002, pp. 952\u2013959. ACM Press, New York (2002)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1093\/logcom\/8.3.401","volume":"8","author":"M. Benerecetti","year":"1998","unstructured":"Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. Journal of Logic and Computation\u00a08, 401\u2013423 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Agent-Mediated Electronic Commerce V","author":"R.H. Bordini","year":"2003","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Faratin, P., Parkes, D.C., Rodr\u00edguez-Aguilar, J.-A., Walsh, W.E. (eds.) AAMAS 2003. LNCS, vol.\u00a03048, Springer, Heidelberg (2003)"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A.S. Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996, vol.\u00a01038, pp. 42\u201358. Springer, Heidelberg (1996)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J.: The model checker spin. IEEE transaction on software engineering\u00a023 (1997)","DOI":"10.1109\/32.588521"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"van der Meyden, R., Shilov, N.V.: Model checking knowledge and time in systems with perfect recall. FSTTCS: Foundations of Software Technology and Theoretical Computer Science\u00a019 (1999)","DOI":"10.1007\/3-540-46691-6_35"},{"key":"14_CR10","unstructured":"van der Meyden, R., Su, K.: Symbolic model checking the knowledge of the dining cryptographers (2002) (submitted)"},{"key":"14_CR11","series-title":"Massachusetts","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. Massachusetts. The MIT Press, Cambridge (1995)"},{"key":"14_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking: An approach to the state explosion problem","author":"K. McMillan","year":"1993","unstructured":"McMillan, K.: Symbolic model checking: An approach to the state explosion problem. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transaction on Computers, 677\u2013691 (1986)","DOI":"10.1109\/TC.1986.1676819"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 102 0 states and beyond. Information and Computation\u00a098, 142\u2013170 (1992)","journal-title":"Information and Computation"},{"key":"14_CR15","first-page":"167","volume":"55","author":"W. Penczek","year":"2003","unstructured":"Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via model checking. Fundamenta Informaticae\u00a055, 167\u2013185 (2003)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30960-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T21:58:15Z","timestamp":1739915895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30960-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540244226","9783540309604"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30960-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}