{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:09Z","timestamp":1725664509926},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604280"},{"type":"electronic","value":"9783540455950"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60428-6_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:28:10Z","timestamp":1330280890000},"page":"483-487","source":"Crossref","is-referenced-by-count":1,"title":["Multilevel refinement planning in an interval-based temporal logic"],"prefix":"10.1007","author":[{"given":"Werner","family":"Stephan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susanne","family":"Biundo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"45_CR1","unstructured":"S. Biundo, D. Dengler, and J. K\u00f6hler. Deductive Planning and Plan Reuse in a Command Language Environment. In Proc. ECAI-92, pages 628\u2013632, 1992."},{"key":"45_CR2","volume-title":"Tech. Rep.","author":"L. Lamport","year":"1991","unstructured":"L. Lamport. The Temporal Logic of Actions. Tech. Rep., DEC, Palo Alto, 1991."},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, 1991.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"45_CR4","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00247434","volume":"3","author":"Z. Manna","year":"1987","unstructured":"Z. Manna and R. Waldinger. How to Clear a Block: Plan Formation in Situational Logic. Journal of Automated Reasoning, 3:343\u2013377, 1987.","journal-title":"Journal of Automated Reasoning"},{"key":"45_CR5","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Machine Intelligence 4, pages 463\u2013502. 1969.","journal-title":"Machine Intelligence"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"A. Mokkedem and D. M\u00e9ry. A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. In Proc. ICTL-94, pages 382\u2013397, 1994.","DOI":"10.1007\/BFb0014000"},{"key":"45_CR7","unstructured":"E. Pednault. ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus. In Proc. KR-89, pages 324\u2013332, 1989."},{"key":"45_CR8","unstructured":"S. J. Rosenschein. Plan Synthesis: A Logic Perspective. In Proc. IJCAI-81, 1981."},{"key":"45_CR9","unstructured":"R. Rosner and A. Pnueli. A Choppy Logic. In Symposium on Logic in Computer Science, pages 306\u2013313. IEEE Computer Society Press, 1986."},{"key":"45_CR10","unstructured":"W. Stephan and S. Biundo. A New Logical Framework for Deductive Planning. In Proc. IJCAI-93, pages 32\u201338, 1993."},{"key":"45_CR11","doi-asserted-by":"crossref","unstructured":"W. Stephan and S. Biundo. Multilevel Refinement Planning in an Interval-Based Temporal Logic. Research Report, German Research Center for AI, 1995.","DOI":"10.1007\/3-540-60428-6_45"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60428-6_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:10Z","timestamp":1605646750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60428-6_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604280","9783540455950"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60428-6_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}