{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T01:42:15Z","timestamp":1761961335739,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642149764"},{"type":"electronic","value":"9783642149771"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-14977-1_17","type":"book-chapter","created":{"date-parts":[[2010,8,11]],"date-time":"2010-08-11T10:23:30Z","timestamp":1281522210000},"page":"219-237","source":"Crossref","is-referenced-by-count":17,"title":["Model Checking Agent Programs by Using the Program Interpreter"],"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":"17_CR1","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1145\/860575.860641","volume-title":"Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems","author":"R.H. Bordini","year":"2003","unstructured":"Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking agentspeak. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 409\u2013416. ACM, New York (2003)"},{"key":"17_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-25936-7_4","volume-title":"Programming Multi-Agent Systems","author":"R.H. Bordini","year":"2004","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifiable multi-agent programs. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol.\u00a03067, pp. 72\u201389. Springer, Heidelberg (2004)"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1109\/ASE.2008.17","volume-title":"23rd IEEE\/ACM International Conference on Automated Software Engineering","author":"R.H. Bordini","year":"2008","unstructured":"Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated verificiation of multi-agent programs. In: 23rd IEEE\/ACM International Conference on Automated Software Engineering, pp. 69\u201378. IEEE Computer Society, Los Alamitos (2008)"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-03278-3_3","volume-title":"Programming Multi-Agent Systems","author":"L.A. Dennis","year":"2009","unstructured":"Dennis, L.A., Fisher, M.: Programming verifiable heterogeneous agent systems. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds.) ProMAS 2008. LNCS, vol.\u00a05442, pp. 40\u201355. Springer, Heidelberg (2009)"},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FUN-2008-851-422","volume":"85","author":"M. Kacprzak","year":"2008","unstructured":"Kacprzak, M., Nabialek, W., Niewiadomski, A., Penczek, W., P\u00f3lrola, A., Szreter, M., Wozna, B., Zbrzezny, A.: Verics 2007 - a model checker for knowledge and real-time. Fundamenta Informaticae\u00a085, 313\u2013328 (2008)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR6","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":"17_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-69619-3_6","volume-title":"Computational Logic in Multi-Agent Systems","author":"M.B. Riemsdijk van","year":"2007","unstructured":"van Riemsdijk, M.B., de Boer, F.S., Dastani, M., Meyer, J.J.C.: Prototyping 3apl in the maude term rewriting language. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol.\u00a04371, pp. 95\u2013114. Springer, Heidelberg (2007)"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/544862.544965","volume-title":"Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems","author":"M. Wooldridge","year":"2002","unstructured":"Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model checking multi-agent systems with mable. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 952\u2013959. ACM, New York (2002)"},{"key":"17_CR9","volume-title":"The SPIN model checker","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN model checker. Addison-Wesley, Reading (2003)"},{"key":"17_CR10","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.: A common semantic basis for bdi languages. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol.\u00a04908, pp. 124\u2013139. Springer, Heidelberg (2008)"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2004","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering\u00a010, 203\u2013232 (2004)","journal-title":"Automated Software Engineering"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0304-3975(01)00359-0","volume":"285","author":"M. Clavel","year":"2002","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science\u00a0285, 187\u2013243 (2002)","journal-title":"Theoretical Computer Science"},{"key":"17_CR13","first-page":"162","volume-title":"Proceedings of the 4th International Workshop on Rewriting Logic and its Applications","author":"S. Eker","year":"2002","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude ltl model checker. In: Proceedings of the 4th International Workshop on Rewriting Logic and its Applications, pp. 162\u2013187. Elsevier Science, Amsterdam (2002)"},{"key":"17_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/3-540-44631-1_16","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"K.V. Hindriks","year":"2001","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: Agent programming with declarative goals. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 248\u2013257. Springer, Heidelberg (2001)"},{"key":"17_CR15","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":"17_CR16","series-title":"Formal Models and Semantics","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E. Emerson","year":"1990","unstructured":"Emerson, E.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, pp. 996\u20131072. Elsevier, Amsterdam (1990)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Hindriks, K.V.: Programming rational agents in goal. Multi-Agent Programming, 119\u2013157 (2009)","DOI":"10.1007\/978-0-387-89299-3_4"},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0004-3702(00)00079-5","volume":"125","author":"J. Slaney","year":"2001","unstructured":"Slaney, J., Thi\u00e9baux, S.: Blocks world revisited. Artificial Intelligence\u00a0125, 119\u2013153 (2001)","journal-title":"Artificial Intelligence"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-48683-6_23","volume-title":"Computer Aided Verification","author":"M. Daniele","year":"1999","unstructured":"Daniele, M., Giunchiglia, F., Vardi, M.Y.: Improved automata generation for linear temporal logic. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 249\u2013260. Springer, Heidelberg (1999)"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Tauriainen, H.: Nested emptiness search for generalized buchi automata. In: Proceedings of the 4th International Conference on Application of Concurrency to System Design, pp. 165\u2013174 (2004)","DOI":"10.1109\/CSD.2004.1309129"},{"key":"17_CR21","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14977-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T03:07:31Z","timestamp":1740366451000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14977-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642149764","9783642149771"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14977-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}