{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:19:16Z","timestamp":1725902356521},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319608396"},{"type":"electronic","value":"9783319608402"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60840-2_33","type":"book-chapter","created":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:13:39Z","timestamp":1497993219000},"page":"454-465","source":"Crossref","is-referenced-by-count":3,"title":["An Approach for Hospital Planning with Multi-Agent Organizations"],"prefix":"10.1007","author":[{"given":"John Bruntse","family":"Larsen","sequence":"first","affiliation":[]},{"given":"J\u00f8rgen","family":"Villadsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,22]]},"reference":[{"key":"33_CR1","volume-title":"Fremtidens Hospital","author":"KM Pedersen","year":"2014","unstructured":"Pedersen, K.M., Petersen, N.C.: Fremtidens Hospital. Munksgaard, Copenhagen (2014)"},{"issue":"Suppl. 1","key":"33_CR2","doi-asserted-by":"crossref","first-page":"P27","DOI":"10.1186\/1757-7241-18-S1-P27","volume":"18","author":"M Hansen-Nord","year":"2010","unstructured":"Hansen-Nord, M., Steensen, J.P., Holm, S.: Process driven patient tracks in FAM. Scand. J. Trauma, Resusc. Emerg. Med. 18(Suppl. 1), P27 (2010)","journal-title":"Scand. J. Trauma, Resusc. Emerg. Med."},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Liu, Z., Cabrera, E., Rexachs, D., Epelde, F., Luque, E.: Simulation modelling in healthcare: challenges and trends, simulating the micro-level behavior of emergency department for macro-level features prediction. In: Winter Simulation Conference (2015)","DOI":"10.1109\/WSC.2015.7408162"},{"issue":"3","key":"33_CR4","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1057\/jos.2010.14","volume":"4","author":"PO Siebers","year":"2010","unstructured":"Siebers, P.O., Macal, C.M., Garnett, J., Buxton, D., Pidd, M.: Discrete-event simulation is dead, long live agent-based simulation!. J. Simul. 4(3), 204\u2013210 (2010). doi: 10.1057\/jos.2010.14","journal-title":"J. Simul."},{"key":"33_CR5","volume-title":"Multiagent Systems","year":"2013","unstructured":"Weiss, G. (ed.): Multiagent Systems, 2nd edn. MIT Press, Cambridge (2013)","edition":"2"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Jensen, A.S., Dignum, V., Villadsen, J.: A framework for organization-aware agents. In: Autonomous Agents and Multi-Agent Systems, pp. 1\u201336 (2016)","DOI":"10.1007\/s10458-015-9324-2"},{"key":"33_CR7","unstructured":"Jensen, A.S., Dignum, V.: AORTA: adding organizational reasoning to agents. In: International Conference on Autonomous Agents and Multi-Agent Systems, AAMAS, pp. 1493\u20131494 (2014)"},{"key":"33_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-319-14484-9_7","volume-title":"Engineering Multi-Agent Systems","author":"AS Jensen","year":"2014","unstructured":"Jensen, A.S., Dignum, V., Villadsen, J.: The AORTA architecture: integrating organizational reasoning in Jason. In: Dalpiaz, F., Dix, J., Riemsdijk, M.B. (eds.) EMAS 2014. LNCS, vol. 8758, pp. 127\u2013145. Springer, Cham (2014). doi: 10.1007\/978-3-319-14484-9_7"},{"key":"33_CR9","unstructured":"Jensen, A.S.: Model Checking AORTA: Verification of Organization-Aware Agents. CoRR, 1503.05317 (2015)"},{"key":"33_CR10","unstructured":"Taboada, M., Cabrera, E., Iglesias, M.L., Epelde, F., Luque, E.: An agent-based decision support system for hospitals emergency. Procedia Comput. Sci. 4, 1870\u20131879 (2011)"},{"key":"33_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-540-92219-3_32","volume-title":"Biomedical Engineering Systems and Technologies","author":"RS Mans","year":"2008","unstructured":"Mans, R.S., Schonenberg, M.H., Song, M., Aalst, W.M.P., Bakker, P.J.M.: Application of process mining in healthcare \u2013 a case study in a Dutch hospital. In: Fred, A., Filipe, J., Gamboa, H. (eds.) BIOSTEC 2008. CCIS, vol. 25, pp. 425\u2013438. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-92219-3_32"},{"key":"33_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-36438-9_9","volume-title":"Process Support and Knowledge Representation in Health Care","author":"K Kirchner","year":"2013","unstructured":"Kirchner, K., Herzberg, N., Rogge-Solti, A., Weske, M.: Embedding conformance checking in a process intelligence system in hospital environments. In: Lenz, R., Miksch, S., Peleg, M., Reichert, M., Ria\u00f1o, D., Teije, A. (eds.) KR4HC\/ProHealth -2012. LNCS, vol. 7738, pp. 126\u2013139. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-36438-9_9"},{"key":"33_CR13","doi-asserted-by":"crossref","first-page":"9236","DOI":"10.1016\/j.eswa.2015.07.040","volume":"42","author":"M Rovani","year":"2015","unstructured":"Rovani, M., Maggi, F.M., de Leoni, M., van der Aalst, W.M.P.: Declarative process mining in healthcare. Expert Syst. Appl. 42, 9236\u20139251 (2015)","journal-title":"Expert Syst. Appl."},{"key":"33_CR14","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10458-009-9084-y","volume":"20","author":"JF H\u00fcbner","year":"2010","unstructured":"H\u00fcbner, J.F., Kitio, O.B.R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents. Auton. Agents Multi-Agent Syst. 20, 369\u2013400 (2010)","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"1","key":"33_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s12046-009-0001-5","volume":"34","author":"H Geuvers","year":"2009","unstructured":"Geuvers, H.: Proof assistants: history, ideas and future. Sadhana 34(1), 3\u201325 (2009)","journal-title":"Sadhana"},{"key":"33_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL: A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Rough Sets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60840-2_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,26]],"date-time":"2019-09-26T07:38:38Z","timestamp":1569483518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60840-2_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319608396","9783319608402"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60840-2_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}