{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:04:02Z","timestamp":1725836642322},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319254197"},{"type":"electronic","value":"9783319254203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25420-3_15","type":"book-chapter","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T22:41:11Z","timestamp":1446763271000},"page":"233-250","source":"Crossref","is-referenced-by-count":0,"title":["Towards the Disruption of Plans"],"prefix":"10.1007","author":[{"given":"Andrada","family":"Voinitchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elizabeth","family":"Black","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Luck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,7]]},"reference":[{"issue":"4","key":"15_CR1","first-page":"23","volume":"20","author":"BJ Grosz","year":"1999","unstructured":"Grosz, B.J., Hunsberger, L., Kraus, S.: Planning and acting together. AI Mag. 20(4), 23\u201334 (1999)","journal-title":"AI Mag."},{"key":"15_CR2","unstructured":"Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning. In: Proceedings of the 6th National Conference on Artificial Intelligence, pp. 677\u2013682 (1987)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0026757","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"M d\u2019Inverno","year":"1998","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 155\u2013176. Springer, Heidelberg (1998)"},{"key":"15_CR4","unstructured":"Voinitchi, A., Black, E., Luck, M.: Introduction to team disruption mechanisms. In: Proceedings of the 2012 Imperial College Computing Student Workshop, pp. 149\u2013155 (2012)"},{"issue":"2","key":"15_CR5","first-page":"55","volume":"13","author":"D McDermott","year":"1992","unstructured":"McDermott, D.: Robot planning. AI Mag. 13(2), 55\u201379 (1992)","journal-title":"AI Mag."},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(94)90002-7","volume":"66","author":"S Hanks","year":"1994","unstructured":"Hanks, S., McDermott, D.: Modeling a dynamic and uncertain world: symbolic and probabilistic reasoning about change. Artif. Intell. 66(1), 1\u201355 (1994)","journal-title":"Artif. Intell."},{"issue":"1","key":"15_CR7","first-page":"215","volume":"22","author":"J Porteous","year":"2004","unstructured":"Porteous, J., Sebastia, L.: Extracting and ordering landmarks for planning. J. Artif. Intell. Res. 22(1), 215\u2013278 (2004)","journal-title":"J. Artif. Intell. Res."},{"issue":"12","key":"15_CR8","first-page":"21","volume":"24","author":"B Schneier","year":"1999","unstructured":"Schneier, B.: Attack trees: modeling security threats. Dr. Dobbs J. Softw. Tools 24(12), 21\u201329 (1999)","journal-title":"Dr. Dobbs J. Softw. Tools"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11734727_17","volume-title":"Information Security and Cryptology - ICISC 2005","author":"S Mauw","year":"2006","unstructured":"Mauw, S., Oostdijk, M.: Foundations of attack trees. In: Won, D.H., Kim, S. (eds.) ICISC 2005. LNCS, vol. 3935, pp. 186\u2013198. Springer, Heidelberg (2006)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-19751-2_6","volume-title":"Formal Aspects of Security and Trust","author":"B Kordy","year":"2011","unstructured":"Kordy, B., Mauw, S., Radomirovi\u0107, S., Schweitzer, P.: Foundations of attack\u2013defense trees. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol. 6561, pp. 80\u201395. Springer, Heidelberg (2011)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-642-40196-1_15","volume-title":"Quantitative Evaluation of Systems","author":"B Kordy","year":"2013","unstructured":"Kordy, B., Kordy, P., Mauw, S., Schweitzer, P.: ADTool: security analysis with attack\u2013defense trees. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 173\u2013176. Springer, Heidelberg (2013)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-37682-5_5","volume-title":"Information Security and Cryptology \u2013 ICISC 2012","author":"B Kordy","year":"2013","unstructured":"Kordy, B., Mauw, S., Schweitzer, P.: Quantitative questions on attack\u2013defense trees. In: Kwon, T., Lee, M.-K., Kwon, D. (eds.) ICISC 2012. LNCS, vol. 7839, pp. 49\u201364. Springer, Heidelberg (2013)"},{"key":"15_CR13","unstructured":"TRESsPASS: The tresspass project (2015)"},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0004-3702(81)90003-5","volume":"16","author":"JG Carbonell","year":"1981","unstructured":"Carbonell, J.G.: Counterplanning: a strategy-based model of adversary planning in real-world situations. Artif. Intell. 16(3), 295\u2013329 (1981)","journal-title":"Artif. Intell."},{"key":"15_CR15","unstructured":"de Cote, E.M., Chapman, A., Sykulski, A.M., Jennings, N.: Automated planning in repeated adversarial games. In: Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence, pp. 376\u2013383 (2010)"},{"issue":"12","key":"15_CR16","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0304-3975(00)00076-1","volume":"252","author":"S Willmott","year":"2001","unstructured":"Willmott, S., Richardson, J., Bundy, A., Levine, J.: Applying adversarial planning techniques to go. Theor. Comput. Sci. 252(12), 45\u201382 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Huang, H., Ding, J., Zhang, W., Tomlin, C.J.: A differential game approach to planning in adversarial scenarios: a case study on capture the flag. In: Proceedings of the 2011 IEEE International Conference on Robotics and Automation, pp. 1451\u20131456 (2011)","DOI":"10.1109\/ICRA.2011.5980264"},{"issue":"1","key":"15_CR18","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1613\/jair.433","volume":"7","author":"M Tambe","year":"1997","unstructured":"Tambe, M.: Towards flexible teamwork. J. Artif. Intell. Res. 7(1), 83\u2013124 (1997)","journal-title":"J. Artif. Intell. Res."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Pynadath, D.V., Tambe, M.: Multiagent teamwork: analyzing the optimality and complexity of key theories and models. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 873\u2013880 (2002)","DOI":"10.1145\/544942.544946"},{"issue":"2","key":"15_CR20","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0004-3702(94)00020-2","volume":"75","author":"NR Jennings","year":"1995","unstructured":"Jennings, N.R.: Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artif. Intell. 75(2), 195\u2013240 (1995)","journal-title":"Artif. Intell."},{"key":"15_CR21","unstructured":"Jennings, N.R., Mamdani, E.H.: Using joint responsibility to coordinate collaborative problem solving in dynamic environments. In: Proceedings of the 10th National Conference on Artificial Intelligence, pp. 269\u2013275 (1992)"},{"issue":"1","key":"15_CR22","first-page":"399","volume":"8","author":"DR Fulkerson","year":"1956","unstructured":"Fulkerson, D.R., Ford, L.R.: Maximal flow through a network. Can. J. Math. 8(1), 399\u2013404 (1956)","journal-title":"Can. J. Math."},{"issue":"4","key":"15_CR23","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1145\/48014.61051","volume":"25","author":"AV Goldberg","year":"1988","unstructured":"Goldberg, A.V., Tarjan, R.E.: A new approach to the maximum-flow problem. J. ACM 25(4), 921\u2013940 (1988)","journal-title":"J. ACM"},{"issue":"4","key":"15_CR24","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1145\/263867.263872","volume":"44","author":"M Stoer","year":"1997","unstructured":"Stoer, M., Wagner, F.: A simple min-cut algorithm. J. ACM 44(4), 585\u2013591 (1997)","journal-title":"J. ACM"},{"issue":"4","key":"15_CR25","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1145\/234533.234534","volume":"43","author":"DR Karger","year":"1996","unstructured":"Karger, D.R., Stein, C.: A new approach to the minimum cut problem. J. ACM 43(4), 601\u2013640 (1996)","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems X"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25420-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T08:59:33Z","timestamp":1559293173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25420-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319254197","9783319254203"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25420-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}