{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:33:23Z","timestamp":1725467603011},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647690"},{"type":"electronic","value":"9783540687221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055016","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:11:15Z","timestamp":1153977075000},"page":"1-14","source":"Crossref","is-referenced-by-count":11,"title":["Specifying communicative multi-agent systems"],"prefix":"10.1007","author":[{"given":"Steven","family":"Shapiro","sequence":"first","affiliation":[]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,24]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. R. Cohen","year":"1990","unstructured":"Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213\u2013261, 1990.","journal-title":"Artificial Intelligence"},{"key":"1_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-58976-7","volume-title":"Executable Modal and Temporal Logics","author":"M. Fisher","year":"1995","unstructured":"Michael Fisher. Towards a semantics for Concurrent MetateM. In Michael Fisher and Richard Owens, editors, Executable Modal and Temporal Logics. Springer-Verlag: Heidelberg, Germany, 1995."},{"key":"1_CR3","unstructured":"Giuseppe De Giacomo. Concurrency (notes). Unpublished manuscript, 1996."},{"key":"1_CR4","unstructured":"Giuseppe De Giacomo, Yves Lesp\u00e9rance, and Hector J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), pages 1221\u20131226, Yokohama, Japan, 1997."},{"key":"1_CR5","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall Int., 1985."},{"key":"1_CR6","unstructured":"Gerhard Lakemeyer and Hector J. Levesque. AOL: a logic of acting, sensing, knowing, and only knowing. In Proceedings of Knowledge Representation and Reasoning (KR&R-98), 1998. To appear."},{"key":"1_CR7","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3540608052_76","volume-title":"Intelligent Agents II: Agent Theories, Architectures, and Languages (LNAI Volume 1037)","author":"Y. Lesp\u00e9rance","year":"1996","unstructured":"Yves Lesp\u00e9rance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, and Richard B. Scherl. Foundations of a logical approach to agent programming. In Michael Wooldridge, J\u00f6rg P. M\u00fcller, and Milind Tambe, editors, Intelligent Agents II: Agent Theories, Architectures, and Languages (LNAI Volume 1037), pages 331\u2013346. Springer-Verlag: Heidelberg, Germany, 1996."},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H. J. Levesque","year":"1997","unstructured":"Hector J. Levesque, Raymond Reiter, Yves Lesp\u00e9rance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59\u201384, 1997.","journal-title":"Journal of Logic Programming"},{"issue":"5","key":"1_CR9","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"F. Lin","year":"1994","unstructured":"Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655\u2013678, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"1_CR10","unstructured":"John McCarthy and Patrick J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence 4. Edinburgh University Press, 1969."},{"key":"1_CR11","volume-title":"PhD thesis","author":"S. A. McIlraith","year":"1997","unstructured":"Sheila A. McIlraith. Towards a Formal Account of Diagnostic Problem Solving. PhD thesis, Department of Computer Science, University of Toronto, Toronto, ON, 1997."},{"key":"1_CR12","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 Jerry R. Hobbs and Robert C. Moore, editors, Formal Theories of the Common Sense World, pages 319\u2013358. Ablex Publishing, Norwood, NJ, 1985."},{"key":"1_CR13","unstructured":"Javier Pinto and Raymond Reiter. Adding a time line to the situation calculus. In The Second Symposium on Logical Formalizations of Commonsense Reasoning, pages 172\u2013177, Nagoya, Japan, 1993."},{"key":"1_CR14","first-page":"473","volume-title":"Modeling rational agents within a BDI-architecture","author":"A. S. Rao","year":"1991","unstructured":"Anand S. Rao and Michael P. Georgeff. Modeling rational agents within a BDI-architecture. In Richard Fikes and Eric Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473\u2013484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991."},{"key":"1_CR15","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":"1_CR16","doi-asserted-by":"crossref","unstructured":"Raymond Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, pages 337\u2013351, December 1993.","DOI":"10.1016\/0004-3702(93)90109-O"},{"key":"1_CR17","unstructured":"Raymond Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Proceedings of Knowledge Representation and Reasoning (KR&R-96), pages 2\u201313, 1996."},{"key":"1_CR18","first-page":"689","volume-title":"The frame problem and knowledge-producing actions","author":"R. B. Scherl","year":"1993","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":"1_CR19","volume-title":"Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications (LNAI Volume 799)","author":"M. P. Singh","year":"1994","unstructured":"Munindar P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications (LNAI Volume 799). Springer-Verlag: Heidelberg, Germany, 1994."}],"container-title":["Lecture Notes in Computer Science","Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T08:50:58Z","timestamp":1549875058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647690","9783540687221"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0055016","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}