{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:04:34Z","timestamp":1747544674772},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426721"},{"type":"electronic","value":"9783540454465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45446-2_26","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T22:11:27Z","timestamp":1185142287000},"page":"405-426","source":"Crossref","is-referenced-by-count":6,"title":["Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Giordano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Patti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,16]]},"reference":[{"key":"26_CR1","volume-title":"PhD thesis","author":"M. Baldoni","year":"1998","unstructured":"M. Baldoni. Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Dipartimento di Informatica, Universit\u00e0 degli Studi di Torino, Italy, 1998. Available at http:\/\/www.di.unito.it\/~baldoni\/ ."},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"M. Baldoni. Normal Multimodal Logics with Interaction Axioms. In D. Basin, M. D\u2019Agostino, D. M. Gabbay, S. Matthews, and L. Vigan\u00f2, editors, Labelled Deduction, volume 17 of Applied Logic Series, pages 33\u201353. Applied Logic Series, Kluwer Academic Publisher, 2000.","DOI":"10.1007\/978-94-011-4040-9_2"},{"key":"26_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3-540-45241-9_5","volume-title":"Proc. of the Third International Symposium on Practical Aspects of Declarative Languages","author":"M. Baldoni","year":"2001","unstructured":"M. Baldoni, C. Baroglio, A. Chiarotto, and V. Patti. Programming Goal-driven Web Sites using an Agent Logic Language. In I. V. Ramakrishnan, editor, Proc. of the Third International Symposium on Practical Aspects of Declarative Languages, volume 1990 of LNCS, pages 60\u201375, Las Vegas, Nevada, USA, 2001. Springer."},{"key":"26_CR4","volume-title":"Proc. 1st International Conference on Universal Access in Human-Computer Interaction, a track of HCI International 2001","author":"M. Baldoni","year":"2001","unstructured":"M. Baldoni, C. Baroglio, and V. Patti. Structereless, Intention-guided Web Sites: Planning Based Adaptation. In Proc. 1st International Conference on Universal Access in Human-Computer Interaction, a track of HCI International 2001, New Orleans, LA, USA, 2001. Lawrence Erlbaum Associates. To appear."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"M. Baldoni, L. Giordano, and A. Martelli. A Tableau Calculus for Multimodal Logics and Some (un)Decidability Results. In H. de Swart, editor, Proc. of TABLEAUX\u201998, volume 1397 of LNAI, pages 44\u201359. Springer-Verlag, 1998.","DOI":"10.1007\/3-540-69778-0_13"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"M. Baldoni, L. Giordano, A. Martelli, and V. Patti. An Abductive Proof Procedure for Reasoning about Actions in Modal Logic Programming. In J. Dix et al., editor, Proc. of NMELP\u201996, volume 1216 of LNAI, pages 132\u2013150, 1997.","DOI":"10.1007\/BFb0023805"},{"key":"26_CR7","unstructured":"M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Modeling agents in a logic action language. In Proc. of Workshop on Practical Reasoning Agents, FAPR2000, 2000. to appear."},{"issue":"1-2","key":"26_CR8","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0004-3702(00)00080-1","volume":"125","author":"C. Baral","year":"2001","unstructured":"C. Baral and T. C. Son. Formalizing Sensing Actions \u2014 A transition function based approach. Artificial Intelligence, 125(1-2):19\u201391, January 2001.","journal-title":"Artificial Intelligence"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"M. Castilho, O. Gasquet, and A. Herzig. Modal tableaux for reasoning about actions and plans. In S. Steel, editor, Proc. ECP\u201997, LNAI, pages 119\u2013130, 1997.","DOI":"10.1007\/3-540-63912-8_79"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"G. De Giacomo and M. Lenzerini. PDL-based framework for reasoning about actions. In Proc. of AI*IA\u2019 95, volume 992 of LNAI, pages 103\u2013114, 1995.","DOI":"10.1007\/3-540-60437-5_10"},{"key":"26_CR11","unstructured":"G. De Giacomo, Y. Lesp\u00e9rance, and H. J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of IJCAI\u201997, pages 1221\u20131226, Nagoya, August 1997."},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"G. De Giacomo and H. J. Levesque. An Incremental Interpreter for High-Level Programs with Sensing. In Proceedings of the AAAI 1998 Fall Symposium on Cognitive Robotics, Orlando, Florida, USA, October 1998.","DOI":"10.1007\/978-3-642-60211-5_8"},{"key":"26_CR13","unstructured":"G. De Giacomo and R. Rosati. Minimal knowledge approach to reasoning about actions and sensing. In Proc. of NRAC\u201999, Stockholm, Sweden, August 1999."},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"S. Demri. The Complexity of Regularity in Grammar Logics. J. of Logic and Computation, 2001. To appear, available at http:\/\/www.lsv.ens-cachan.fr\/~demri\/ .","DOI":"10.1093\/logcom\/11.6.933"},{"key":"26_CR15","volume-title":"Proc. of ILPS\u2019 93","author":"M. Denecker","year":"1993","unstructured":"M. Denecker and D. De Schreye. Representing Incomplete Knowledge in Abduction Logic Programming. In Proc. of ILPS\u2019 93, Vancouver, 1993. The MIT Press."},{"key":"26_CR16","volume-title":"Proc. of ICLP\u2019 89","author":"K. Eshghi","year":"1989","unstructured":"K. Eshghi and R. Kowalski. Abduction compared with Negation by Failure. In Proc. of ICLP\u2019 89, Lisbon, 1989. The MIT Press."},{"key":"26_CR17","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"M. Gelfond and V. Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17:301\u2013321, 1993.","journal-title":"Journal of Logic Programming"},{"key":"26_CR18","unstructured":"L. Giordano, A. Martelli, and C. Schwind. Dealing with concurrent actions in modal action logic. In Proc. ECAI-98, pages 537\u2013541, 1998."},{"issue":"5","key":"26_CR19","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 Camilla Schwind. Ramification and causality in a modal action logic. Journal of Logic and Computation, 10(5):625\u2013662, 2000.","journal-title":"Journal of Logic and Computation"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"D. Harel. Dynamic Logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume II, pages 497\u2013604. D. Reidel, 1984.","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"26_CR21","unstructured":"H. J. Levesque. What is planning in the presence of sensing? In Proc. of the AAAI-96, pages 1139\u20131146, 1996."},{"key":"26_CR22","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.","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"26_CR23","unstructured":"J. Lobo, G. Mendez, and S. R. Taylor. Adding Knowledge to the Action Description Language A. In Proc. of AAAI\u201997\/IAAI\u201997, pages 454\u2013459, Menlo Park, 1997."},{"issue":"2","key":"26_CR24","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00173701","volume":"5","author":"H. Prendinger","year":"1996","unstructured":"H. Prendinger and G. Schurz. Reasoning about action and change. a dynamic logic approach. Journal of Logic, Language, and Information, 5(2):209\u2013245, 1996.","journal-title":"Journal of Logic, Language, and Information"},{"key":"26_CR25","unstructured":"R. Scherl and H. J. Levesque. The frame problem and knowledge-producing actions. In Proc. of the AAAI-93, pages 689\u2013695, Washington, DC, 1993."},{"key":"26_CR26","unstructured":"C. B. Schwind. A logic based framework for action theories. In J. Ginzburg et al., editor, Language, Logic and Computation, pages 275\u2013291. CSLI, 1997."},{"key":"26_CR27","unstructured":"M. Thielscher. Representing the Knowledge of a Robot. In Proc. of the International Conference on Principles of Knowledge Representation and reasoning, KR\u201900, pages 109\u2013120. Morgan Kaufmann, 2000."}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45446-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T07:42:34Z","timestamp":1556696554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45446-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426721","9783540454465"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-45446-2_26","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}