{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:12:21Z","timestamp":1725484341149},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438588"},{"type":"electronic","value":"9783540454489"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45448-9_6","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T13:03:25Z","timestamp":1179752605000},"page":"69-85","source":"Crossref","is-referenced-by-count":5,"title":["On the Epistemic Feasibility of Plans in Multiagent Systems Specifications"],"prefix":"10.1007","author":[{"given":"Yves","family":"Lesp\u00e9rance","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"6_CR1","unstructured":"F. Brazier, B. Dunin-Keplicz, N.R. Jennings, and Jan Treur. Formal specifications of multiagents systems: A real-world case study. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS\u201995), pages 25\u201332, San Francisco, CA, June 1995. Springer-Verlag."},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"E. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal-logic specifications. ACM Trans. Programming, Languages, and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Trans. Programming, Languages, and Systems"},{"issue":"5","key":"6_CR3","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1093\/logcom\/4.5.721","volume":"4","author":"E. Davis","year":"1994","unstructured":"Ernest Davis. Knowledge preconditions for plans. Journal of Logic and Computation, 4(5):721\u2013766, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"Giuseppe De Giacomo, Yves Lesp\u00e9rance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121:109\u2013169, 2000.","journal-title":"Artificial Intelligence"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/978-3-642-60211-5_8","volume-title":"Logical Foundations for Cognitive Agents","author":"G. Giacomo De","year":"1999","unstructured":"Giuseppe De Giacomo and Hector J. Levesque. An incremental interpreter for high-level programs with sensing. In Hector J. Levesque and Fiora Pirri, editors, Logical Foundations for Cognitive Agents, pages 86\u2013102. Springer-Verlag, Berlin, Germany, 1999."},{"key":"6_CR6","unstructured":"Giuseppe De Giacomo, Eugenia Ternovskaia, and Ray Reiter. Non-terminating processes in the situation calculus. In Working Notes of the AAAI\u201997 Workshop on Robots, Softbots, Immobots: Theories of Action, Planning and Control, 1997."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Joeri Engelfriet, Catholijn M. Jonker, and Jan Treur. Compositional verification of multi-agent systems in temporal multi-epistemic logic. In J.P. Mueller, M.P. Singh, and A.S. Rao, editors, Intelligent Agents V: Proceedings of the Fifth International Workshop on Agent Theories, Architectures and languages (ATAL\u201998), volume 1555 of LNAI, pages 177\u2013194. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-49057-4_12"},{"issue":"1","key":"6_CR8","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1142\/S0218843097000057","volume":"6","author":"M. Fisher","year":"1997","unstructured":"M. Fisher and M. Wooldridge. On the formal specification and verification of multi-agent systems. International Journal of Cooperative Information Systems, 6(1):37\u201365, 1997.","journal-title":"International Journal of Cooperative Information Systems"},{"key":"6_CR9","unstructured":"M. Hennessy. The Semantics of Programming Languages. John Wiley & Sons, 1990."},{"key":"6_CR10","unstructured":"Gerhard Lakemeyer and Hector J. Levesque. AOL: A logic of acting, sensing, knowing, and only-knowing. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR-98), pages 316\u2013327, 1998."},{"key":"6_CR11","series-title":"Lect Notes Comput Sci","first-page":"365","volume-title":"Advanced Information Systems Engineering, 11th International Conference, CAiSE-99, Proceedings","author":"Y. Lesp\u00e9rance","year":"1999","unstructured":"Yves Lesp\u00e9rance, Todd G. Kelley, John Mylopoulos, and Eric S.K. Yu. Modeling dynamic domains with ConGolog. In Advanced Information Systems Engineering, 11th International Conference, CAiSE-99, Proceedings, pages 365\u2013380, Heidelberg, Germany, June 1999. LNCS 1626, Springer-Verlag."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Yves Lesp\u00e9rance, Hector J. Levesque, Fangzhen Lin, and Richard B. Scherl. Ability and knowing how in the situation calculus. Studia Logica, 66(1): 165\u2013186, October 2000.","DOI":"10.1023\/A:1026761331498"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Yves Lesp\u00e9rance, Hector J. Levesque, and Raymond Reiter. A situation calculus approach to modeling and programming agents. In A. Rao and M. Wooldridge, editors, Foundations of Rational Agency, pages 275\u2013299. Kluwer, 1999.","DOI":"10.1007\/978-94-015-9204-8_12"},{"key":"6_CR14","unstructured":"Yves Lesp\u00e9rance and Ho-Kong Ng. Integrating planning into reactive high-level robot programs. In Proceedings of the Second International Cognitive Robotics Workshop, pages 49\u201354, Berlin, Germany, August 2000."},{"key":"6_CR15","unstructured":"Hector J. Levesque. What is planning in the presence of sensing? In Proceedings of the Thirteenth National Conference on Artificial Intelligence, pages 1139\u20131146, Portland, OR, August 1996."},{"issue":"1\u20132","key":"6_CR16","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0004-3702(98)00041-1","volume":"101","author":"F. Lin","year":"1998","unstructured":"Fangzhen Lin and Hector J. Levesque. What robots can do: Robot programs and effective achievability. Artificial Intelligence, 101(1\u20132):201\u2013226, 1998.","journal-title":"Artificial Intelligence"},{"key":"6_CR17","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1979","unstructured":"John McCarthy and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463\u2013502. Edinburgh University Press, Edinburgh, UK, 1979."},{"key":"6_CR18","first-page":"319","volume-title":"Formal Theories of the Common Sense World","author":"R. C. Moore","year":"1985","unstructured":"Robert C. Moore. A formal theory of knowledge and action. In J. R. Hobbs and Robert C. Moore, editors, Formal Theories of the Common Sense World, pages 319\u2013358. Ablex Publishing, Norwood, NJ, 1985."},{"key":"6_CR19","unstructured":"Leora Morgenstern. Knowledge preconditions for actions and plans. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pages 867\u2013874, Milan, Italy, August 1987. Morgan Kaufmann Publishing."},{"key":"6_CR20","first-page":"59","volume":"5","author":"D. Park","year":"1970","unstructured":"D. Park. Fixpoint induction and proofs of program properties. In Machine Intelligence, volume 5, pages 59\u201378. Edinburgh University Press, 1970.","journal-title":"Machine Intelligence"},{"key":"6_CR21","volume-title":"Technical Report DAIMI-FN-19","author":"G. Plotkin","year":"1981","unstructured":"G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept., Aarhus University, Denmark, 1981."},{"key":"6_CR22","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, San Diego, CA, 1991."},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Raymond Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"6_CR24","unstructured":"Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 689\u2013695, Washington, DC, July 1993. AAAI Press\/The MIT Press."},{"key":"6_CR25","series-title":"LNAI","first-page":"244","volume-title":"Intelligent Agents VII. Agent Theories, Architectures, and Languages \u2014 7th. International Workshop, ATAL-2000, Boston, MA, USA, July 7\u20139, 2000, Proceedings","author":"S. Shapiro","year":"2001","unstructured":"Steven Shapiro and Yves Lesp\u00e9rance. Modeling multiagent systems with CASL \u2014 a feature interaction resolution application. In C. Castelfranchi and Y. Lesp\u00e9rance, editors, Intelligent Agents VII. Agent Theories, Architectures, and Languages \u2014 7th. International Workshop, ATAL-2000, Boston, MA, USA, July 7\u20139, 2000, Proceedings, volume 1986 of LNAI, pages 244\u2013259. Springer-Verlag, Berlin, 2001."},{"key":"6_CR26","unstructured":"Steven Shapiro, Yves Lesp\u00e9rance, and Hector J. Levesque. Specifying communicative multiagent systems with ConGolog. In Working Notes of the AAAI Fall 1997 Symposium on Communicative Action in Humans and Machines, pages 75\u201382, Cambridge, MA, November 1997."},{"key":"6_CR27","unstructured":"Steven Shapiro, Maurice Pagnucco, Yves Lesp\u00e9rance, and Hector J. Levesque. Iterated belief change in the situation calculus. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR-2000), pages 527\u2013538. Morgan Kaufmann, 2000."},{"key":"6_CR28","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS\u201994)","author":"W. Hoek van der","year":"1994","unstructured":"W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. A logic of capabilities. In A. Nerode and Yu. V Matiyasevich, editors, Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS\u201994). LNCS Vol. 813, Springer-Verlag, 1994."},{"key":"6_CR29","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/10719619_16","volume-title":"Intelligent Agents VI \u2014 Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99)","author":"R. M. Eijk van","year":"2000","unstructured":"Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Open multi-agent systems: Agent communication and integration. In N.R. Jennings and Y Lesp\u00e9rance, editors, Intelligent Agents VI \u2014 Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99), Lecture Notes in Artificial Intelligence, pages 218\u2013232. Springer-Verlag, Berlin, 2000."}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45448-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T02:40:27Z","timestamp":1556419227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45448-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438588","9783540454489"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-45448-9_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}