{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:49:20Z","timestamp":1725763760407},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642453427"},{"type":"electronic","value":"9783642453434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45343-4_15","type":"book-chapter","created":{"date-parts":[[2013,12,11]],"date-time":"2013-12-11T11:26:41Z","timestamp":1386761201000},"page":"274-291","source":"Crossref","is-referenced-by-count":5,"title":["Automatic BDI Plan Recognition from Process Execution Logs and Effect Logs"],"prefix":"10.1007","author":[{"given":"Hongyun","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bastin Tony Roy","family":"Savarimuthu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aditya","family":"Ghose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evan","family":"Morrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiying","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youqun","family":"Shi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.J.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons, Ltd. (2007)","DOI":"10.1002\/9780470061848"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-20715-0_2","volume-title":"Declarative Agent Languages and Technologies VIII","author":"A. Dasgupta","year":"2011","unstructured":"Dasgupta, A., Ghose, A.K.: BDI agents with objectives and preferences. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol.\u00a06619, pp. 22\u201339. Springer, Heidelberg (2011)"},{"issue":"10","key":"15_CR3","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1016\/j.ijhcs.2010.05.004","volume":"68","author":"J.M. G\u00f3mez-P\u00e9rez","year":"2010","unstructured":"G\u00f3mez-P\u00e9rez, J.M., Erdmann, M., Greaves, M., Corcho, O., Benjamins, R.: A framework and computer system for knowledge-level acquisition, representation, and reasoning with process knowledge. International Journal of Human-Computer Studies\u00a068(10), 641\u2013668 (2010)","journal-title":"International Journal of Human-Computer Studies"},{"key":"15_CR4","unstructured":"Goultiaeva, A., Lesp\u00e9rance, Y.: Incremental plan recognition in an agent programming framework. In: Working notes of the American Association for Artificial Intelligence (AAAI) Workshop on Plan, Activity, and Intention Recognition, PAIR (2007)"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1111\/j.1467-8640.2005.00279.x","volume":"21","author":"O. Ilghami","year":"2005","unstructured":"Ilghami, O., Nau, D.S., Aha, D.W.: Learning preconditions for planning from plan traces and HTN structure. Computational Intelligence\u00a021, 413 (2005)","journal-title":"Computational Intelligence"},{"key":"15_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-540-93920-7_8","volume-title":"Declarative Agent Languages and Technologies VI","author":"F. Meneguzzi","year":"2009","unstructured":"Meneguzzi, F., Luck, M.: Leveraging new plans in agentSpeak(PL). In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol.\u00a05397, pp. 111\u2013127. Springer, Heidelberg (2009)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. In: Proceedings of the Institute of Electrical and Electronics Engineers (IEEE), vol.\u00a077, pp. 541\u2013580 (1989)","DOI":"10.1109\/5.24143"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10458-008-9050-0","volume":"17","author":"M. Pechoucek","year":"2008","unstructured":"Pechoucek, M., Mar\u00edk, V.: Industrial deployment of multi-agent technologies: review and selected case studies. Autonomous Agents and Multi-Agent Systems\u00a017(3), 397\u2013431 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"15_CR9","unstructured":"Rao, A.S., Georgeff, M.P.: BDI agents: From theory to practice. In: Proc. of the First International Conference on Multiagent Systems (ICMAS), pp. 312\u2013319 (1995)"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Savarimuthu, B.T.R., Cranefield, S., Purvis, M.A., Purvis, M.K.: Obligation norm identification in agent societies. Journal of Artificial Societies and Social Simulation 13(4) (2010)","DOI":"10.18564\/jasss.1659"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10506-012-9126-7","volume":"21","author":"B.T.R. Savarimuthu","year":"2012","unstructured":"Savarimuthu, B.T.R., Cranefield, S., Purvis, M.A., Purvis, M.K.: Identifying prohibition norms in agent societies. Artificial Intelligence and Law\u00a021, 1\u201346 (2012)","journal-title":"Artificial Intelligence and Law"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: International Semantic Web Conference, pp. 380\u2013394 (2004)","DOI":"10.1007\/978-3-540-30475-3_27"},{"issue":"9","key":"15_CR13","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W.M.P. Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering\u00a016(9), 1128\u20131142 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"B.F. Dongen van","year":"2005","unstructured":"van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W(E.), Weijters, A.J.M.M.T., van der Aalst, W.M.P.: The proM framework: A new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 444\u2013454. Springer, Heidelberg (2005)"},{"key":"15_CR15","unstructured":"Zhuo, H.H., Hu, D.H., Hogg, C., Yang, Q., Mu\u00f1oz-Avila, H.: Learning HTN method preconditions and action models from partial observations. In: Proc. of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI), pp. 1804\u20131810 (2009)"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45343-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T06:27:27Z","timestamp":1558765647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45343-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642453427","9783642453434"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45343-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}