{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:04:28Z","timestamp":1725487468837},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426011"},{"type":"electronic","value":"9783540454113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45411-x_24","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:17:28Z","timestamp":1184602648000},"page":"237-248","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning about Actions in a Multiagent Domain"],"prefix":"10.1007","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Camilla","family":"Schwind","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,7]]},"reference":[{"key":"24_CR1","first-page":"5","volume":"22","author":"F. Bacchus","year":"1998","unstructured":"F. Bacchus and F. Kabanza. Planning for temporally extended goals. in Annals of Mathematics and AI, 22:5\u201327, 1998.","journal-title":"Annals of Mathematics and AI"},{"unstructured":"C. Boutilier and R.I. Brafman. Planning with Concurrent Interacting Actions. in AAAI-97, Providence, August 1997.","key":"24_CR2"},{"doi-asserted-by":"crossref","unstructured":"G. De Giacomo, M. Lenzerini. PDL-based framework for reasoning about actions. In LNAI 992, pages 103\u2013114, 1995.","key":"24_CR3","DOI":"10.1007\/3-540-60437-5_10"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(98)00104-0","volume":"107","author":"G. Giacomo De","year":"1999","unstructured":"G. De Giacomo and X.J. Chen. Reasoning about nondeterministic and concurrent actions: A process algebra approach. In Artificial Intelligence, 107:63\u201398,1999.","journal-title":"Artificial Intelligence"},{"unstructured":"G. De Giacomo and R. Rosati. Minimal knowledge approach to reasoning about actions and sensing. In Proc. of the 3rd Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC\u201999), Stockholm, Sweden, August 1999.","key":"24_CR5"},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"G. De Giacomo, Y. Lesp\u00e9rance, H. J. Levesque. ConGolog, a concurrent programing language based on the situation calculus. Artificial Intelligence 121(2000), pp.109\u2013169.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"24_CR7","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1093\/logcom\/10.5.625","volume":"10","author":"L. Giordano","year":"2000","unstructured":"L. Giordano, A. Martelli, and C. Schwind. Ramification and causality in a modal action logic. In Journal of Logic and Computation, 10(5):625\u2013662, 2000.","journal-title":"Journal of Logic and Computation"},{"unstructured":"L. Giordano, A. Martelli, and C. Schwind. Reasoning About Actions in Dynamic Linear Time Temporal Logic. Proceedings FAPR\u20192000, Int. Conf. on Pure and Applied Practical Reasoning, London, September 2000. To appear on the Logic Journal of the IGPL.","key":"24_CR8"},{"unstructured":"E. Giunchiglia. Planning as satisfiability with expressive action languages: Concurrency, Constraints and Nondeterminism. In Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR\u201900). Breckenridge, Colorado, USA 12\u201315 April 2000.","key":"24_CR9"},{"doi-asserted-by":"crossref","unstructured":"F. Giunchiglia and P. Traverso. Planning as Model Checking. In Proc. The 5th European Conf. on Planning (ECP\u201999), pp.1\u201320, Durham (UK), 1999.","key":"24_CR10","DOI":"10.1007\/10720246_1"},{"doi-asserted-by":"crossref","unstructured":"D. Harel. First order dynamic logic in Extensions of Classical Logic, Handbook of Philosophical Logic II, pp. 497\u2013604, 1984.","key":"24_CR11","DOI":"10.1007\/978-94-009-6259-0_10"},{"doi-asserted-by":"crossref","unstructured":"J.G. Henriksen and P.S. Thiagarajan A product Version of Dynamic Linear Time Temporal Logic. in CONCUR\u201997, 1997.","key":"24_CR12","DOI":"10.1007\/3-540-63141-0_4"},{"issue":"n.1-3","key":"24_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0168-0072(98)00039-6","volume":"96","author":"J.G. Henriksen","year":"1999","unstructured":"J.G. Henriksen and P.S. Thiagarajan Dynamic Linear Time Temporal Logic. in Annals of Pure and Applied logic, vol.96, n.1-3, pp.187\u2013207, 1999","journal-title":"Annals of Pure and Applied logic"},{"key":"24_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0004-3702(97)00031-3","volume":"95","author":"F. Kabanza","year":"1997","unstructured":"F. Kabanza, M. Barbeau and R.St-Denis Planning control rules for reactive agents. In Artificial Intelligence, 95(1997) 67\u2013113.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"G.N. Kartha and V. Lifschitz. Actions with Indirect Effects (Preliminary Report). In Proc. KR\u201994, pages 341\u2013350, 1994.","key":"24_CR15","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"doi-asserted-by":"crossref","unstructured":"H. J. Levesque, R. Reiter, Y. Lesp\u00e9rance, F. Lin, and R. B. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains. J. of Logic Prog., 31, 1997.","key":"24_CR16","DOI":"10.1016\/S0743-1066(96)00121-5"},{"unstructured":"F. Lin. Embracing Causality in Specifying the Indirect Effects of Actions. In Proc. IJCAI\u201995, pages 1985\u20131991, 1995.","key":"24_CR17"},{"unstructured":"N. McCain and H. Turner. A Causal Theory of Ramifications and Qualifications. In Proc. IJCAI\u201995, pages 1978\u20131984, 1995.","key":"24_CR18"},{"unstructured":"S. Mc Ilraith Representing Actions and State Constraints in Model-Based Diagnosis. AAAI\u201997, pp. 43\u201349, 1997.","key":"24_CR19"},{"unstructured":"R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, V. Lifschitz, ed.,pages 359\u2013380, Academic Press, 1991.","key":"24_CR20"},{"unstructured":"Munindar P. Singh. Applying the Mu-Calculus in Planning and Reasoning about Actions. In Journal of Logic and Computation, 1998.","key":"24_CR21"},{"issue":"1-2","key":"24_CR22","doi-asserted-by":"publisher","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 Journal, vol. 89, No. 1\u20132, pp. 317\u2013364, 1997.","journal-title":"Artificial Intelligence Journal"}],"container-title":["Lecture Notes in Computer Science","AI*IA 2001: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45411-X_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T03:27:41Z","timestamp":1556681261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45411-X_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426011","9783540454113"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45411-x_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}