{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T15:19:14Z","timestamp":1772205554224,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642319143","type":"print"},{"value":"9783642319150","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31915-0_8","type":"book-chapter","created":{"date-parts":[[2012,7,12]],"date-time":"2012-07-12T01:25:04Z","timestamp":1342056304000},"page":"133-151","source":"Crossref","is-referenced-by-count":1,"title":["State Space Reduction for Model Checking Agent Programs"],"prefix":"10.1007","author":[{"given":"Sung-Shik T. Q.","family":"Jongmans","sequence":"first","affiliation":[]},{"given":"Koen V.","family":"Hindriks","sequence":"additional","affiliation":[]},{"given":"M. Birna","family":"van Riemsdijk","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Bordini, R., Dennis, L., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proceedings of ASE, pp. 69\u201378 (2008)","DOI":"10.1109\/ASE.2008.17"},{"key":"8_CR2","unstructured":"Bordini, R., Fisher, M., Visser, W., Wooldridge, M.: State-Space Reduction Techniques in Agent Verification. In: Proceedings of AAMAS, pp. 896\u2013903 (2004)"},{"issue":"6","key":"8_CR3","doi-asserted-by":"publisher","first-page":"1385","DOI":"10.1093\/logcom\/exp029","volume":"19","author":"R. Bordini","year":"2009","unstructured":"Bordini, R., Fisher, M., Wooldridge, M., Visser, W.: Property-based Slicing for Agent Verification. Journal of Logic and Computation\u00a019(6), 1385\u20131425 (2009)","journal-title":"Journal of Logic and Computation"},{"key":"8_CR4","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press (2000)"},{"key":"8_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-79043-3_8","volume-title":"Programming Multi-Agent Systems","author":"L.A. Dennis","year":"2008","unstructured":"Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.J.: A Common Semantic Basis for BDI Languages. In: Dastani, M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol.\u00a04908, pp. 124\u2013139. Springer, Heidelberg (2008)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Hindriks, K.: Programming Rational Agents in Goal. In: El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R. (eds.) Multi-Agent Programming, pp. 119\u2013157. Springer (2009)","DOI":"10.1007\/978-0-387-89299-3_4"},{"key":"8_CR7","unstructured":"Holzmann, G.: The SPIN Model Checker. Addison-Wesley (2003)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Holzmann, G., Peled, D., Yannakakis, M.: On Nested Depth First Search. In: Gr\u00e9goire, J.C., Holzmann, G., Peled, D. (eds.) The SPIN Verification System, DIMACS, vol.\u00a032, pp. 23\u201331. American Mathematical Society (1997)","DOI":"10.1090\/dimacs\/032\/03"},{"key":"8_CR9","unstructured":"Hopcroft, J., Tarjan, R.: Efficient Algorithms for Graph Manipulation. Tech. Rep. STAN-CS-71-207, Stanford University (1971)"},{"key":"8_CR10","unstructured":"Jongmans, S.-S.T.Q.: Model Checking Goal Agents. Master\u2019s thesis, Delft University of Technology (2010)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-14977-1_17","volume-title":"Computational Logic in Multi-Agent Systems","author":"S.-S.T.Q. Jongmans","year":"2010","unstructured":"Jongmans, S.-S.T.Q., Hindriks, K.V., van Riemsdijk, M.B.: Model Checking Agent Programs by Using the Program Interpreter. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol.\u00a06245, pp. 219\u2013237. Springer, Heidelberg (2010)"},{"issue":"1-2","key":"8_CR12","doi-asserted-by":"crossref","first-page":"71","DOI":"10.3233\/FI-2010-276","volume":"101","author":"A. Lomuscio","year":"2010","unstructured":"Lomuscio, A., Penczek, W., Qu, H.: Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems. Fundamenta Informaticae\u00a0101(1-2), 71\u201390 (2010)","journal-title":"Fundamenta Informaticae"},{"key":"8_CR13","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. LNCS, vol.\u00a03920, pp. 450\u2013454. Springer, Heidelberg (2006)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-03240-0_7","volume-title":"Formal Methods for Industrial Critical Systems","author":"R. Pel\u00e1nek","year":"2009","unstructured":"Pel\u00e1nek, R.: Fighting State Space Explosion: Review and Evaluation. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol.\u00a05596, pp. 37\u201352. Springer, Heidelberg (2009)"},{"key":"8_CR15","unstructured":"Tip, F.: A Survey of Program Slicing Techniques. Tech. Rep. CS-R9438, Centrum Wiskunde & Informatica (1994)"},{"key":"8_CR16","unstructured":"Zhao, J., Cheng, J., Ushijima, K.: Literal Dependence Net and Its Use in Concurrent Logic Programming Environment. In: Proceedings of Workshop on Parallel Logic Programming, pp. 127\u2013141 (1994)"}],"container-title":["Lecture Notes in Computer Science","Programming Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31915-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T02:42:00Z","timestamp":1676774520000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31915-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642319143","9783642319150"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31915-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}