{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:22:40Z","timestamp":1725650560417},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571926"},{"type":"electronic","value":"9783642784866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78486-6_101","type":"book-chapter","created":{"date-parts":[[2012,1,8]],"date-time":"2012-01-08T12:17:00Z","timestamp":1326025020000},"page":"563-565","source":"Crossref","is-referenced-by-count":0,"title":["Logikbasierte Planerkennung f\u00fcr intelligente Hilfesysteme"],"prefix":"10.1007","author":[{"given":"Mathias","family":"Bauer","sequence":"first","affiliation":[]},{"given":"Gabriele","family":"Paul","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"101_CR1","volume-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence","author":"M Bauer","year":"1993","unstructured":"M. Bauer, S. Biundo, D. Dengler, J. K\u00f6hler, and G. Paul. PHI\u2014a logic-based tool for intelligent help systems. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambery, France, August 1993. Morgan Kaufmann Publishers."},{"key":"101_CR2","unstructured":"S. Biundo, D. Dengler, and J. K\u00f6hler. Deductive planning and plan reuse in a command language environment. In Proceedings of the 10th European Conference on Artificial Intelligence, pages 628\u2013632, 1992."},{"key":"101_CR3","volume-title":"Plan Recognition in Natural Language Dialogue","author":"S Carberry","year":"1990","unstructured":"S. Carberry. Plan Recognition in Natural Language Dialogue. MIT Press, Cambridge, MA, 1990."},{"issue":"l-2","key":"101_CR4","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BF01101860","volume":"2","author":"B Goodman","year":"1992","unstructured":"B. Goodman and D. Litman. On the interaction between plan recognition and intelligent interfaces. User Modeling and User-Adapted Interaction, 2(l-2):83\u2013116, 1992.","journal-title":"User Modeling and User-Adapted Interaction"},{"key":"101_CR5","volume-title":"PhD thesis, University of Rochester","author":"H Kautz","year":"1987","unstructured":"H. Kautz. A formal theory of plan recognition. PhD thesis, University of Rochester, 1987."},{"key":"101_CR6","volume-title":"Approaches to abductive reasoning\u2014an overview","author":"G Paul","year":"1993","unstructured":"G. Paul. Approaches to abductive reasoning\u2014an overview. Artificial Intelligence Review, 1993. (forthcoming)."},{"key":"101_CR7","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G Shafer","year":"1976","unstructured":"G. Shafer. A Mathematical Theory of Evidence. Princeton University Press, Princeton, 1976."}],"container-title":["Informatik aktuell","Informatik \u2014 Wirtschaft \u2014 Gesellschaft"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78486-6_101.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,25]],"date-time":"2021-12-25T07:42:04Z","timestamp":1640418124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78486-6_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571926","9783642784866"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78486-6_101","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}