{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T04:46:46Z","timestamp":1787719606186,"version":"build-2784847793"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540639121","type":"print"},{"value":"9783540696650","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63912-8_81","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:37:40Z","timestamp":1153132660000},"page":"130-142","source":"Crossref","is-referenced-by-count":35,"title":["Planning via model checking: A decision procedure for AR"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Cimatti","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Enrico","family":"Giunchiglia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fausto","family":"Giunchiglia","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Traverso","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A. Baker","year":"1991","unstructured":"Andrew Baker. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence, 49:5\u201323, 1991.","journal-title":"Artificial Intelligence"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Avrim Blum and Merrick Furst. Fast planning through planning graph analysis. In Proc. of IJCAI-95, pages 1636\u20131642, 1995.","DOI":"10.21236\/ADA303260"},{"issue":"3","key":"11_CR3","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. E. Bryant","year":"1992","unstructured":"R. E. Bryant. Symbolic Boolean manipolation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293\u2013318, September 1992.","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"11_CR4","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0890-5401(92)90017-A","volume":"98","author":"J.R. Burch","year":"1992","unstructured":"J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and Hwang L.J. Symbolic model checking: 102\u00b0 states and beyond. Information and Computation, 98(2):142\u2013170, 1992.","journal-title":"Information and Computation"},{"key":"11_CR5","unstructured":"E. Clarke, O. Grunberg, and D. Long. Model checking. In Proc. of the International Summer School on Deductive Program Design, Marktoberdorf, 1994."},{"key":"11_CR6","unstructured":"Enrico Giunchiglia. Determining ramifications in the situation calculus. In Proc. of KR-96., 1996."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Enrico Giunchiglia, G. Neelakantan Kartha, and Vladimir Lifschitz. Representing action: Indeterminacy and ramifications. Artificial Intelligence, 1997. To appear.","DOI":"10.1016\/S0004-3702(97)00037-4"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Cordell Green. Application of theorem proving to problem solving. In Proc. of IJCAI, pages 219\u2013240, 1969.","DOI":"10.21236\/ADA459656"},{"issue":"5","key":"11_CR9","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1093\/logcom\/4.5.617","volume":"4","author":"J. Hertzberg","year":"1994","unstructured":"J. Hertzberg and S. Thiebaux. Turning an Action Formalism into a Planner \u2014 A Case Study. Journal of Logic and Computation, 4(5):617\u2013654, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"11_CR10","unstructured":"Henry Kautz and Bart Selman. Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. In Proc. AAAI-96, 1996."},{"key":"11_CR11","unstructured":"Vladimir Lifschitz. Two components of an action language. In Working Papers of the Third Symposium on Logical Formalizations of Commonsense Reasoning, 1996."},{"key":"11_CR12","unstructured":"Fangzhen Lin and Raymond Reiter. State constraints revisited. In Working Papers of the Second Symposium on Logical Formalizations of Commonsense Reasoning, 1993."},{"key":"11_CR13","unstructured":"C. Pain-Barre and C. Schwind. Constructing Action Graphs for Planning. In European Workshop on Planning (EWPS95), pages 373\u2013388. Malik Ghallab, 1995."},{"key":"11_CR14","unstructured":"J. Penberthy and D. Weld. UCPOP: A sound, complete, partial order planner for adl. In Proc. of KR-92, 1992."},{"key":"11_CR15","unstructured":"Stuart Russel. Efficient memory bounded search algorithms. In Proc. of ECAI-92, pages 1\u20135, 1992."},{"key":"11_CR16","unstructured":"Erik Sandewall. Features and fluents: A systematic approach to the representation of knowledge about dynamical systems. Technical Report LiTH-IDA-R-92-30, Link\u00f6ping University, 1992."},{"key":"11_CR17","unstructured":"W. Stephan and S. Biundo. A New Logical Framework for Deductive Planning. In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), pages 32\u201338. Morgan Kaufmann, 1993."},{"key":"11_CR18","unstructured":"Manuela Veloso. Learning by analogical reasoning in general problem solving. PhD thesis, 1992. CMU, CS Techn. Report CMU-CS-92-174."},{"key":"11_CR19","unstructured":"M. Winslett. Reasoning about actions with a possible models approach. In Proceedings of the 8th National Conference on Artificial Intelligence (IJCAI-93), pages 89\u201393, 1988."}],"container-title":["Lecture Notes in Computer Science","Recent Advances in AI Planning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63912-8_81","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T22:06:12Z","timestamp":1555711572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63912-8_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540639121","9783540696650"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-63912-8_81","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}