{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:30:34Z","timestamp":1742974234693,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030385606"},{"type":"electronic","value":"9783030385613"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-38561-3_10","type":"book-chapter","created":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T18:02:52Z","timestamp":1585159372000},"page":"189-207","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Interactive Planning-Based Hypothesis Generation with LTS+\u2009+"],"prefix":"10.1007","author":[{"given":"Shirin","family":"Sohrabi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Octavian","family":"Udrea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Riabov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oktie","family":"Hassanzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,3,26]]},"reference":[{"issue":"18","key":"10_CR1","doi-asserted-by":"publisher","first-page":"2129","DOI":"10.1016\/j.artint.2011.07.003","volume":"175","author":"H Aljazzar","year":"2011","unstructured":"Aljazzar, H., Leue, S.: K*: A heuristic search algorithm for finding the k shortest paths. Artificial Intelligence 175(18), 2129\u20132154 (2011)","journal-title":"Artificial Intelligence"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Bauer, A., Botea, A., Grastien, A., Haslum, P., Rintanen, J.: Alarm processing with model-based diagnosis of discrete event systems. In: Proceedings of the 22nd International Workshop on Principles of Diagnosis (DX). pp. 52\u201359 (2011)","DOI":"10.1145\/2018316.2018318"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Cassandras, C., Lafortune, S.: Introduction to discrete event systems. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. Handbook of theoretical computer science: formal models and semantics B, 995\u20131072 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"G\u00f6belbecker, M., Keller, T., Eyerich, P., Brenner, M., Nebel, B.: Coming up with good excuses: What to do when no plan can be found. In: Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS). pp. 81\u201388 (2010)","DOI":"10.1609\/icaps.v20i1.13421"},{"key":"10_CR6","unstructured":"Grastien, A., Anbulagan, Rintanen, J., Kelareva, E.: Diagnosis of discrete-event systems using satisfiability algorithms. In: Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI). pp. 305\u2013310 (2007)"},{"key":"10_CR7","unstructured":"Haslum, P., Grastien, A.: Diagnosis as planning: Two case studies. In: International Scheduling and Planning Applications Workshop (SPARK). pp. 27\u201344 (2011)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Hassanzadeh, O., Bhattacharjya, D., Feblowitz, M., Srinivas, K., Perrone, M., Sohrabi, S., Katz, M.: Answering binary causal questions through large-scale text mining: An evaluation using cause-effect pairs from human experts. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI) (2019)","DOI":"10.24963\/ijcai.2019\/695"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Katz, M., Sohrabi, S.: Reshaping diverse planning. In: Proceedings of the 34th Conference on Artificial Intelligence (AAAI-20) (2020)","DOI":"10.1609\/aaai.v34i06.6543"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Katz, M., Sohrabi, S., Udrea, O.: Top-quality planning: finding practically useful sets of best plans. In: Proceedings of the 34th Conference on Artificial Intelligence (AAAI-20) (2020)","DOI":"10.1609\/aaai.v34i06.6544"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Katz, M., Sohrabi, S., Udrea, O., Winterer, D.: A novel iterative approach to Top-k planning. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (2018)","DOI":"10.1609\/icaps.v28i1.13893"},{"key":"10_CR12","unstructured":"Magee, J., Kramer, J.: Concurrency - state models and Java programs (2. ed.). Wiley (2006)"},{"key":"10_CR13","unstructured":"McDermott, D.V.: PDDL\u2014The Planning Domain Definition Language. Tech. Rep. TR-98-003\/DCS TR-1165, Yale Center for Computational Vision and Control (1998)"},{"key":"10_CR14","unstructured":"Ram\u00edrez, M., Geffner, H.: Plan recognition as planning. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI). pp. 1778\u20131783 (2009)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Ram\u00edrez, M., Geffner, H.: Probabilistic plan recognition using off-the-shelf classical planners. In: Proceedings of the 24th National Conference on Artificial Intelligence (AAAI). pp. 1121\u20131126 (2010)","DOI":"10.1609\/aaai.v24i1.7745"},{"key":"10_CR16","unstructured":"Riabov, A., Sohrabi, S., Udrea, O.: New algorithms for the top-k planning problem. In: Proceedings of the Scheduling and Planning Applications Workshop (SPARK) at the 24th International Conference on Automated Planning and Scheduling (ICAPS). pp. 10\u201316 (2014)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Riabov, A.V., Sohrabi, S., Sow, D.M., Turaga, D.S., Udrea, O., Vu, L.H.: Planning-based reasoning for automated large-scale data analysis. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS). pp. 282\u2013290 (2015)","DOI":"10.1609\/icaps.v25i1.13689"},{"key":"10_CR18","unstructured":"Sohrabi, S., Baier, J., McIlraith, S.: Diagnosis as planning revisited. In: Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR). pp. 26\u201336 (2010)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Sohrabi, S., Baier, J.A., McIlraith, S.A.: Preferred explanations: Theory and generation via planning. In: Proceedings of the 25th National Conference on Artificial Intelligence (AAAI). pp. 261\u2013267 (2011)","DOI":"10.1609\/aaai.v25i1.7845"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Sohrabi, S., Katz, M., Hassanzadeh, O., Udrea, O., Feblowitz, M.D.: IBM scenario planning advisor: Plan recognition as AI planning in practice. In: Proceedings of Demonstration Track at the 27th International Joint Conference on Artificial Intelligence (IJCAI-18) (2018)","DOI":"10.24963\/ijcai.2018\/864"},{"issue":"1","key":"10_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/AIC-180602","volume":"32","author":"S Sohrabi","year":"2019","unstructured":"Sohrabi, S., Katz, M., Hassanzadeh, O., Udrea, O., Feblowitz, M.D., Riabov, A.: IBM scenario planning advisor: Plan recognition as AI planning in practice. AI Commun. 32(1), 1\u201313 (2019)","journal-title":"AI Commun."},{"key":"10_CR22","unstructured":"Sohrabi, S., Riabov, A., Udrea, O.: Plan recognition as planning revisited. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI). pp. 3258\u20133264 (2016)"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Sohrabi, S., Riabov, A., Udrea, O.: State projection via AI planning. In: Proceedings of the 31st Conference on Artificial Intelligence (AAAI-17). pp. 4611\u20134617 (2017)","DOI":"10.1609\/aaai.v31i1.11184"},{"key":"10_CR24","unstructured":"Sohrabi, S., Riabov, A., Udrea, O., Hassanzadeh, O.: Finding diverse high-quality plans for hypothesis generation. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI). pp. 1581\u20131582 (2016)"},{"key":"10_CR25","unstructured":"Sohrabi, S., Riabov, A., Udrea, O., Yuan, F.: Using lightweight semantic models to assist risk management in a large enterprise. In: Proceedings of the 16th International Semantic Web Conference - Industry Track (ISWC-17) (2017)"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Sohrabi, S., Riabov, A.V., Katz, M., Udrea, O.: An AI planning solution to scenario generation for enterprise risk management. In: Proceedings of the 32nd National Conference on Artificial Intelligence (AAAI). pp. 160\u2013167 (2018)","DOI":"10.1609\/aaai.v32i1.11304"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Sohrabi, S., Udrea, O., Riabov, A.: Hypothesis exploration for malware detection using planning. In: Proceedings of the 27th National Conference on Artificial Intelligence (AAAI). pp. 883\u2013889 (2013)","DOI":"10.1609\/aaai.v27i1.8552"}],"container-title":["Knowledge Engineering Tools and Techniques for AI Planning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-38561-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T19:30:59Z","timestamp":1666207859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-38561-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030385606","9783030385613"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-38561-3_10","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"26 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}