{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:18:51Z","timestamp":1725477531470},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540689591"},{"type":"electronic","value":"9783540689614"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11961536_4","type":"book-chapter","created":{"date-parts":[[2007,1,19]],"date-time":"2007-01-19T08:09:10Z","timestamp":1169194150000},"page":"43-60","source":"Crossref","is-referenced-by-count":2,"title":["Dynamic Model Checking for Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Nardine","family":"Osman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Robertson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Walton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"He, H., Haas, H., Orchard, D.: Web services architecture usage scenarios. W3C Working Group Note (2003), http:\/\/www.w3.org\/TR\/2004\/NOTE-ws-arch-scenarios-20040211\/"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-540-27775-0_29","volume-title":"Logic Programming","author":"D. Robertson","year":"2004","unstructured":"Robertson, D.: Multi-agent coordination as distributed logic programming. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 416\u2013430. Springer, Heidelberg (2004)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Robertson, D.: A lightweight coordination calculus for agent social norms. In: Proceedings of Declarative Agent Languages and Technologies workshop at AAMAS, New York, USA (2004)","DOI":"10.1007\/11493402_11"},{"key":"4_CR4","series-title":"Texts in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C. Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Texts in Computer Science. Springer, Heidelberg (2001)"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0304-3975(90)90110-4","volume":"89","author":"C. Stirling","year":"1991","unstructured":"Stirling, C., Walker, D.: Local model checking in the modal mu-calculus. Theoretical Computer Science\u00a089(1), 161\u2013177 (1991)","journal-title":"Theoretical Computer Science"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/10722167_48","volume-title":"Computer Aided Verification","author":"C.R. Ramakrishnan","year":"2000","unstructured":"Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Dong, Y., Du, X., Roychoudhury, A., Venkatakrishnan, V.N.: XMC: a logic-programming-based verification toolset. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 576\u2013580. Springer, Heidelberg (2000)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1145\/191839.191927","volume-title":"Proceedings of the 1994 ACM SIGMOD international conference on Management of data (SIGMOD 1994)","author":"K. Sagonas","year":"1994","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: Proceedings of the 1994 ACM SIGMOD international conference on Management of data (SIGMOD 1994), pp. 442\u2013453. ACM Press, New York (1994)"},{"key":"4_CR8","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 multi-agent systems with mable. In: Proceedings of the first international joint conference on Autonomous agents and multiagent systems (AAMAS 2002), pp. 952\u2013959. ACM Press, New York (2002)"},{"issue":"3","key":"4_CR9","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(3), 401\u2013423 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-30227-8_8","volume-title":"Logics in Artificial Intelligence","author":"L. Giordano","year":"2004","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Verifying communicating agents by model checking in a temporal action logic. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol.\u00a03229, pp. 57\u201369. Springer, Heidelberg (2004)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/11493402_8","volume-title":"Declarative Agent Languages and Technologies II","author":"C. Walton","year":"2005","unstructured":"Walton, C.: Model checking agent dialogues. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS, vol.\u00a03476, pp. 132\u2013147. Springer, Heidelberg (2005)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1109\/APSEC.1999.809610","volume-title":"Proceedings of the Sixth Asia-Pacific Software Engineering Conference (APSEC 1999)","author":"W. Wen","year":"1999","unstructured":"Wen, W., Mizoguchi, F.: Analysis and verification of multi-agent interaction protocols. In: Proceedings of the Sixth Asia-Pacific Software Engineering Conference (APSEC 1999), Takamatsu, Japan, pp. 252\u2013259. IEEE Computer Society, Los Alamitos (1999)"},{"key":"4_CR13","first-page":"165","volume-title":"Proceedings of the 4th International Joint Conference on Autonomous Agents and Multi-agent systems (AAMAS 2005)","author":"B. Wo\u017ana","year":"2005","unstructured":"Wo\u017ana, B., Lomuscio, A., Penczek, W.: Bounded model checking for knowledge and real time. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multi-agent systems (AAMAS 2005), pp. 165\u2013172. ACM Press, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11961536_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:22:15Z","timestamp":1619508135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11961536_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540689591","9783540689614"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11961536_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}