{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T19:45:37Z","timestamp":1745437537858,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031456077"},{"type":"electronic","value":"9783031456084"}],"license":[{"start":{"date-parts":[[2023,11,19]],"date-time":"2023-11-19T00:00:00Z","timestamp":1700352000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,19]],"date-time":"2023-11-19T00:00:00Z","timestamp":1700352000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-45608-4_4","type":"book-chapter","created":{"date-parts":[[2023,11,18]],"date-time":"2023-11-18T13:03:03Z","timestamp":1700312583000},"page":"40-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Logical Framework for\u00a0User-Feedback Dialogues on\u00a0Hypotheses in\u00a0Weighted Abduction"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1608-474X","authenticated-orcid":false,"given":"Shota","family":"Motoura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayako","family":"Hoshino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Itaru","family":"Hosomi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kunihiko","family":"Sadamasa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,11,19]]},"reference":[{"key":"4_CR1","series-title":"Springer Handbooks","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-319-30526-4_10","volume-title":"Springer Handbook of Model-Based Science","author":"A Aliseda","year":"2017","unstructured":"Aliseda, A.: The logic of abduction: an introduction. In: Magnani, L., Bertolotti, T. (eds.) Springer Handbook of Model-Based Science. SH, pp. 219\u2013230. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-30526-4_10"},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01101857","volume":"2","author":"DE Appelt","year":"1992","unstructured":"Appelt, D.E., Pollack, M.E.: Weighted abduction for plan ascription. Artif. Intell. 2(1), 1\u201325 (1992). https:\/\/doi.org\/10.1007\/BF01101857","journal-title":"Artif. Intell."},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10458-008-9074-5","volume":"19","author":"E Black","year":"2009","unstructured":"Black, E., Hunter, A.: An inquiry dialogue system. Auton. Agent. Multi-Agent Syst. 19(2), 173\u2013209 (2009). https:\/\/doi.org\/10.1007\/s10458-008-9074-5","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Hobbs, J.R., Stickel, M., Martin, P., Edwards, D.: Interpretation as abduction. In: 26th Annual Meeting of the Association for Computational Linguistics, Buffalo, New York, USA, pp. 95\u2013103. Association for Computational Linguistics (1988). https:\/\/doi.org\/10.3115\/982023.982035. https:\/\/aclanthology.org\/P88-1012","DOI":"10.3115\/982023.982035"},{"key":"4_CR5","unstructured":"Hutchins, E.M., Cloppert, M.J., Amin, R.M.: Intelligence-driven computer network defense informed by analysis of adversary campaigns and intrusion kill chains. In: Proceedings of the 6th International Conference on Information Warfare and Security (ICIW 2011), pp. 113\u2013125. Academic Conferences Ltd. (2011). http:\/\/www.lockheedmartin.com\/content\/dam\/lockheed\/data\/corporate\/documents\/LMWhite-Paper-Intel-Driven-Defense.pdf"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Inoue, N., Ovchinnikova, E., Inui, K., Hobbs, J.: Weighted abduction for discourse processing based on integer linear programming, Chap. 2. In: Sukthankar, G., Geib, C., Bui, H.H., Pynadath, D.V., Goldman, R.P. (eds.) Plan, Activity, and Intent Recognition, pp. 33\u201355. Morgan Kaufmann, Boston (2014). https:\/\/doi.org\/10.1016\/B978-0-12-398532-3.00002-6","DOI":"10.1016\/B978-0-12-398532-3.00002-6"},{"key":"4_CR7","series-title":"Smart Innovation, Systems and Technologies","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-981-16-4177-0_49","volume-title":"ICT with Intelligent Applications","author":"S Motoura","year":"2022","unstructured":"Motoura, S., Hoshino, A., Hosomi, I.: Cooperative hypothesis building for\u00a0computer security incident response. In: Senjyu, T., Mahalle, P.N., Perumal, T., Joshi, A. (eds.) ICT with Intelligent Applications. SIST, vol. 248, pp. 489\u2013497. Springer, Singapore (2022). https:\/\/doi.org\/10.1007\/978-981-16-4177-0_49"},{"key":"4_CR8","unstructured":"Motoura, S., Yamamoto, K., Kubosawa, S., Onishi, T.: Translating MFM into FOL: towards plant operation planning. In: Gofuku, A. (ed.) Proceedings of the Third International Workshop on Functional Modelling for Design and Operation of Engineering Systems (2018)"},{"issue":"2","key":"4_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00849080","volume":"7","author":"G Paul","year":"1993","unstructured":"Paul, G.: Approaches to abductive reasoning: an overview. J. Log. Comput. 7(2), 109\u2013152 (1993). https:\/\/doi.org\/10.1007\/BF00849080","journal-title":"J. Log. Comput."},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF01531174","volume":"4","author":"ME Stickel","year":"1991","unstructured":"Stickel, M.E.: A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. Ann. Math. Artif. Intell. 4(1), 89\u2013105 (1991). https:\/\/doi.org\/10.1007\/BF01531174","journal-title":"Ann. Math. Artif. Intell."},{"key":"4_CR11","unstructured":"The MITRE Corporation: MITRE ATT &CK (2022). https:\/\/attack.mitre.org\/. Accessed 4 Jan 2022"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45608-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,18]],"date-time":"2023-11-18T13:03:28Z","timestamp":1700312608000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45608-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,19]]},"ISBN":["9783031456077","9783031456084"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45608-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,11,19]]},"assertion":[{"value":"19 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSQARU","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Symbolic and Quantitative Approaches with Uncertainty","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Arras","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsqaru2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}