{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:01Z","timestamp":1747546921482},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540639121"},{"type":"electronic","value":"9783540696650"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/3-540-63912-8_79","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:37:40Z","timestamp":1153147060000},"page":"104-116","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Modal tableaux for reasoning about actions and plans"],"prefix":"10.1007","author":[{"given":"Marcos A.","family":"Castilho","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Gasquet","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"issue":"1-3","key":"9_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A.B. Baker","year":"1991","unstructured":"A.B. Baker. Nonmonotonic reasoning in the framework of situation calculus. Artificial Intelligence (AI), 49(1-3):5\u201323, may 1991.","journal-title":"Artificial Intelligence (AI)"},{"issue":"1-2","key":"9_CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(94)90081-7","volume":"69","author":"T. Bylander","year":"1994","unstructured":"T. Bylander. The computational complexity of propositional STRIPS planning. Artificial Intelligence (AI), 69(1-2):165\u2013204, 1994.","journal-title":"Artificial Intelligence (AI)"},{"key":"9_CR3","unstructured":"L. Catach. Les logiques multi-modales. PhD thesis, Universit\u00e9 Paris VI, France, 1989."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"M.A. Castilho, O. Gasquet, and A. Herzig. Modal tableaux for reasoning about actions and plans. IRIT internal report, nov 1996.","DOI":"10.1007\/3-540-63912-8_79"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"G. De Giacomo and M. Lenzerini. PDL-based framework for reasoning about actions. In Proc. 4th Congresss of the Italian Association for Artificial Intelligence (IA * AI'95), number 992 in LNAI, pages 103\u2013114. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60437-5_10"},{"key":"9_CR6","unstructured":"L. Farinas del Cerro and A. Herzig. Belief change and dependence. In Yoav Shoham, editor, Proc. 6th Conf. on Theoretical Aspects of Rationality and Knowledge (TARK'96), pages 147\u2013162. Morgan Kaufmann Publishers, 1996."},{"key":"9_CR7","unstructured":"E. Giunchiglia, G. N. Kartha, and V. Lifschitz. Actions with indirect effects (extended abstract). In Working notes of the AAAI-Spring Sysposium on Extending Theories of Actions, 1995."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, pages 301\u2013321, 1993.","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"9_CR9","volume-title":"Cut-free sequent and tableau systems for propositional normal modal logics","author":"R.P. Gor\u00e9","year":"1992","unstructured":"R.P. Gor\u00e9. Cut-free sequent and tableau systems for propositional normal modal logics. PhD thesis, University of Cambridge, England, 1992."},{"key":"9_CR10","unstructured":"F. Giunchiglia and R Sebastiani. A SAT-based decision procedure for ALC. In Proc. Int. Conf. on Knowledge Representation and Reasoning (KR'96), pages 302\u2013314, Cambridge, Massachussetts, 1996."},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic, volume II","author":"D. Harel","year":"1984","unstructured":"D. Harel. Dynamic logic. In D. Gabbay and F. G\u00fcnthner, editors, Handbook of Philosophical Logic, volume II, pages 497\u2013604. D. Reidel, Dordrecht, 1984."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"A. Herzig. How to change factual beliefs using laws and independence information. In Dov M. Gabbay and Rudolf Kruse, editors, Proc. Int. Joint Conf. on Qualitative and Quantitative Practical Reasoning (ECSQARU\/FAPR97), LNCS. Springer-Verlag, jun 1997.","DOI":"10.1007\/BFb0035631"},{"key":"9_CR13","unstructured":"S. Hanks and D. McDermott. Default reasoning, nonmonotonic logics, and the frame problem. In Proc. Nat. (US) Conf. on Artificial Intelligence (AAAI'86), pages 328\u2013333, Philadelphia, PA, 1986."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"A. Heuerding, M. Seyfried, and H. Zimmermann. Efficient loop-check for backward proof search in some non-classical propositional logics. In P. Miglioli, U. Moscato, D. Mundici, and M. Ornaghi, editors, Proceedings of the 5th International Workshop TABLEAUX'96: Theorem Proving with Analytic Tableaux and Related Methods, number 1071 in LNAI, pages 210\u2013225. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61208-4_14"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"G. N. Kartha and V. Lifschitz. Actions with indirect effects (preliminary report). In Proc. Int. Conf. on Knowledge Representation and Reasoning (KR'94), pages 341\u2013350, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"key":"9_CR16","unstructured":"F. Lin. Embracing causality in specifying the indirect effects of actions. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pages 1985\u20131991, Montreal, Canada, 1995."},{"key":"9_CR17","unstructured":"F. Massacci. Personal communication, may 1997."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"C. Mathieu. A resolution method for a non-monotonic multimodal logic. In S. Moral, editor, Proc. ECSQ UAR U'93, LNCS, pages 257\u2013264. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0028208"},{"key":"9_CR19","unstructured":"N. McCain and H. Turner. A causal theory of ramifications and qualifications. In Proc. of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pages 1978\u20131984, 1995."},{"key":"9_CR20","unstructured":"R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial Intelligence and Mathematical Theory of Computation, Papers in Honor of John McCarthy:359\u2013380, 1991."},{"key":"9_CR21","unstructured":"S. Rosenschein. Plan synthesis: a logical approach. In Proc. of the 8th International Joint Conference on Artificial Intelligence (IJCAI'81), pages 359\u2013380, Academic Press, 1981."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"E. Sandewall. Features and Fluents. Oxford University Press, 1995.","DOI":"10.1093\/oso\/9780198538455.001.0001"},{"key":"9_CR23","unstructured":"W. Stephan and S. Biundo. A new logical framework for deductive planning. In Proc. of the 13th International Joint Conference on Artificial Intelligence (IJCAI'93), pages 32\u201338, 1993."},{"key":"9_CR24","volume-title":"Repr\u00e9sentation et utilisation de la connaissance en calcul propositionnel","author":"P. Siegel","year":"1987","unstructured":"P. Siegel. Repr\u00e9sentation et utilisation de la connaissance en calcul propositionnel. PhD thesis, Universit\u00e9 d'Aix-Marseille II, Aix-Marseille, France, jul 1987."},{"key":"9_CR25","unstructured":"M. Thielscher. The logic of dynamic systems. In Proc, of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pages 1956\u20131962, Montreal, Canada, 1995."},{"key":"9_CR26","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"M. Thielscher. Ramification and causality. Artificial Intelligence (AI), 89:317\u2013364, 1997.","journal-title":"Artificial Intelligence (AI)"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"G.S. Tseitin. On the complexity of derivations in propositional calculus. In Siekmann Wrightson, editor, Automated Reasoning 2: Classical papers on computational logic, pages 466\u2013483, 1983.","DOI":"10.1007\/978-3-642-81955-1_28"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in AI Planning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63912-8_79","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T10:12:57Z","timestamp":1707127977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63912-8_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540639121","9783540696650"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-63912-8_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"29 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}