{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:06:06Z","timestamp":1760709966426},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030256920"},{"type":"electronic","value":"9783030256937"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-25693-7_8","type":"book-chapter","created":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T14:02:54Z","timestamp":1563026574000},"page":"139-157","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Slicing Agent Programs for More Efficient Verification"],"prefix":"10.1007","author":[{"given":"Michael","family":"Winikoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Dennis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,14]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)"},{"key":"8_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/b137449","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications","year":"2005","unstructured":"Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Boston (2005). \n                      https:\/\/doi.org\/10.1007\/b137449"},{"key":"8_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-89299-3","volume-title":"Multi-Agent Programming","year":"2009","unstructured":"El Fallah Seghrouchni, A., Dix, J., Dastani, M., Bordini, R.H. (eds.): Multi-Agent Programming. Springer, Boston (2009). \n                      https:\/\/doi.org\/10.1007\/978-0-387-89299-3"},{"issue":"6","key":"8_CR4","doi-asserted-by":"publisher","first-page":"1385","DOI":"10.1093\/logcom\/exp029","volume":"19","author":"RH Bordini","year":"2009","unstructured":"Bordini, R.H., Fisher, M., Wooldridge, M., Visser, W.: Property-based slicing for agent verification. J. Log. Comput. 19(6), 1385\u20131425 (2009). \n                      https:\/\/doi.org\/10.1093\/logcom\/exp029","journal-title":"J. Log. Comput."},{"key":"8_CR5","doi-asserted-by":"publisher","DOI":"10.1002\/9780470061848","volume-title":"Programming Multi-Agent Systems in AgentSpeak Using Jason","author":"RH Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley, Chichester (2007)"},{"volume-title":"The Correctness Problem in Computer Science","year":"1981","key":"8_CR6","unstructured":"Boyer, R.S., Moore, J.S. (eds.): The Correctness Problem in Computer Science. Academic Press, London (1981)"},{"key":"8_CR7","volume-title":"Intentions, Plans, and Practical Reason","author":"ME Bratman","year":"1987","unstructured":"Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)"},{"key":"8_CR8","volume-title":"Model Checking","author":"EM Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000). ISBN 978-0-262-03270-4"},{"issue":"5","key":"8_CR9","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"RA DeMillo","year":"1979","unstructured":"DeMillo, R.A., Lipton, R.J., Perlis, A.J.: Social processes and proofs of theorems of programs. ACM Commun. 22(5), 271\u2013280 (1979)","journal-title":"ACM Commun."},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.robot.2015.11.012","volume":"77","author":"L Dennis","year":"2016","unstructured":"Dennis, L., Fisher, M., Slavkovik, M., Webster, M.: Formal verification of ethical choices in autonomous systems. Robot. Auton. Syst. 77, 1\u201314 (2016). \n                      https:\/\/doi.org\/10.1016\/j.robot.2015.11.012","journal-title":"Robot. Auton. Syst."},{"key":"8_CR11","unstructured":"Dennis, L.A.: Gwendolen semantics: 2017. Technical report ULCS-17-001, Department of Computer Science, University of Liverpool (2017)"},{"issue":"3","key":"8_CR12","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10515-014-0168-9","volume":"23","author":"LA Dennis","year":"2016","unstructured":"Dennis, L.A., Fisher, M., Lincoln, N.K., Lisitsa, A., Veres, S.M.: Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng. 23(3), 305\u2013359 (2016). \n                      https:\/\/doi.org\/10.1007\/s10515-014-0168-9","journal-title":"Autom. Softw. Eng."},{"key":"8_CR13","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"EA Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, pp. 996\u20131072. Elsevier, Amsterdam (1990)"},{"issue":"9","key":"8_CR14","doi-asserted-by":"publisher","first-page":"1048","DOI":"10.1145\/48529.48530","volume":"31","author":"JH Fetzer","year":"1988","unstructured":"Fetzer, J.H.: Program verification: the very idea. ACM Commun. 31(9), 1048\u20131063 (1988)","journal-title":"ACM Commun."},{"issue":"9","key":"8_CR15","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/2500468.2494558","volume":"56","author":"M Fisher","year":"2013","unstructured":"Fisher, M., Dennis, L.A., Webster, M.: Verifying autonomous systems. ACM Commun. 56(9), 84\u201393 (2013)","journal-title":"ACM Commun."},{"key":"8_CR16","first-page":"1383","volume":"74","author":"MP Georgeff","year":"1986","unstructured":"Georgeff, M.P., Lansky, A.L.: Procedural knowledge. Proc. IEEE Spec. Issue Knowl. Represent. 74, 1383\u20131398 (1986)","journal-title":"Proc. IEEE Spec. Issue Knowl. Represent."},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-44631-1_16","volume-title":"Intelligent Agents VII Agent Theories Architectures and Languages","author":"KV 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. 1986, pp. 228\u2013243. Springer, Heidelberg (2001). \n                      https:\/\/doi.org\/10.1007\/3-540-44631-1_16"},{"issue":"6","key":"8_CR18","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/64.180407","volume":"7","author":"FF Ingrand","year":"1992","unstructured":"Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert 7(6), 34\u201344 (1992)","journal-title":"IEEE Expert"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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-STQ 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 2010. LNCS (LNAI), vol. 6245, pp. 219\u2013237. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-14977-1_17"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1016\/j.scico.2017.05.006","volume":"148","author":"M Kamali","year":"2017","unstructured":"Kamali, M., Dennis, L.A., McAree, O., Fisher, M., Veres, S.M.: Formal verification of autonomous vehicle platooning. Sci. Comput. Program. 148, 88\u2013106 (2017). \n                      https:\/\/doi.org\/10.1016\/j.scico.2017.05.006","journal-title":"Sci. Comput. Program."},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer Aided Verification","author":"A Lomuscio","year":"2009","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: a model checker for the verification of multi-agent systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 682\u2013688. Springer, Heidelberg (2009). \n                      https:\/\/doi.org\/10.1007\/978-3-642-02658-4_55"},{"key":"8_CR22","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 439\u2013449 (1992)"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"AS Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42\u201355. Springer, Heidelberg (1996). \n                      https:\/\/doi.org\/10.1007\/BFb0031845"},{"issue":"5","key":"8_CR24","first-page":"258","volume":"11","author":"M Webster","year":"2014","unstructured":"Webster, M., Cameron, N., Fisher, M., Jump, M.: Generating certification evidence for autonomous unmanned aircraft using model checking and simulation. J. Aerosp. Inf. Syst. 11(5), 258\u2013279 (2014)","journal-title":"J. Aerosp. Inf. Syst."},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1613\/jair.4458","volume":"51","author":"M Winikoff","year":"2014","unstructured":"Winikoff, M., Cranefield, S.: On the testability of BDI agent systems. J. Artif. Intell. Res. (JAIR) 51, 71\u2013131 (2014). \n                      https:\/\/doi.org\/10.1613\/jair.4458","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11678823_8","volume-title":"Programming Multi-Agent Systems","author":"M Winikoff","year":"2006","unstructured":"Winikoff, M.: An AgentSpeak meta-interpreter and its applications. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) ProMAS 2005. LNCS (LNAI), vol. 3862, pp. 123\u2013138. Springer, Heidelberg (2006). \n                      https:\/\/doi.org\/10.1007\/11678823_8"},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/0-387-26350-0_7","volume-title":"Multi-Agent Programming: Languages, Platforms and Applications, Multiagent Systems, Artificial Societies, and Simulated Organizations","author":"M Winikoff","year":"2005","unstructured":"Winikoff, M.: Jack\n                      \n                        \n                      \n                      $${}^{\\text{ TM }}$$\n                     intelligent agents: an industrial strength platform. In: Bordini, R.H., Dastani, M., Dix, J., Fallah-Seghrouchni, A.E. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15, pp. 175\u2013193. Springer, Boston (2005). \n                      https:\/\/doi.org\/10.1007\/0-387-26350-0_7"},{"issue":"5","key":"8_CR28","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1007\/s10458-016-9356-2","volume":"31","author":"M Winikoff","year":"2017","unstructured":"Winikoff, M.: BDI agent testability revisited. J. Auton. Agents Multi-Agent Syst. (JAAMAS) 31(5), 1094\u20131132 (2017). \n                      https:\/\/doi.org\/10.1007\/s10458-016-9356-2","journal-title":"J. Auton. Agents Multi-Agent Syst. (JAAMAS)"},{"key":"8_CR29","series-title":"Applied Logic Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9204-8","volume-title":"Foundations of Rational Agency","year":"1999","unstructured":"Wooldridge, M., Rao, A. (eds.): Foundations of Rational Agency. Applied Logic Series. Kluwer Academic Publishers, Dordrecht (1999). \n                      https:\/\/doi.org\/10.1007\/978-94-015-9204-8"},{"key":"8_CR30","unstructured":"Zhao, J., Cheng, J., Ushijima, K.: Literal dependence net and its use in concurrent logic programming environment. In: Proceedings of the Workshop on Parallel Logic Programming (Held with FGCS 1994), pp. 127\u2013141 (1994)"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-25693-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T14:04:28Z","timestamp":1563026668000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-25693-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030256920","9783030256937"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-25693-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"14 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Engineering Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Stockholm","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 July 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 July 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"emas0","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}