{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:21:32Z","timestamp":1725488492273},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424222"},{"type":"electronic","value":"9783540446316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44631-1_17","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T02:24:08Z","timestamp":1186453448000},"page":"244-259","source":"Crossref","is-referenced-by-count":11,"title":["Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application"],"prefix":"10.1007","author":[{"given":"Steven","family":"Shapiro","sequence":"first","affiliation":[]},{"given":"Yves","family":"Lesp\u00e9rance","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,24]]},"reference":[{"key":"17_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-08766-4","volume-title":"The Vienna Development Method: The Metalanguage","author":"D. Bjorner","year":"1978","unstructured":"D. Bjorner and C. B. Jones. The Vienna Development Method: The Metalanguage, volume 61 of LNCS. Springer-Verlag, 1978."},{"key":"17_CR2","unstructured":"Ph. Du Bois. The Albert II Language-On the design and the Use of a Formal Specifi-cation language for Requirements Analysis. PhD thesis, Department of Computer Science, University of Namur, 1995."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"F. Brazier, B. Dunin-Keplicz, N. R. Jennings, and Jan Treur. Formal specifications of multi-agents 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.","DOI":"10.1007\/3-540-58855-8_6"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"A. Dardenne, S. Fickas, and A. van Lamsweerde. Goal-directed requirements acquisition. Science of Computer Programming, 20:3\u201350, 1993.","journal-title":"Science of Computer Programming"},{"key":"17_CR5","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. M\u00fcller, 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"},{"key":"17_CR6","unstructured":"Giuseppe De Giacomo, Yves Lesp\u00e9rance, and Hector J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. To appear in Artificial Intelligence."},{"key":"17_CR7","unstructured":"Nancy D. Griffeth and Hugo Velthuijsen. Win\/win negotiation among autonomous agents. In Proceedings of the 12th International Workshop on Distributed Artificial Intelligence, pages 187\u2013202, Hidden Valley, PA, May 1993."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"D. Kinny, M. Georgeff, and A. S. Rao. A methodology and modelling technique for systems of BDI agents. In W. Van der Velde and J. W. Perram, editors, Agents Breaking Away, pages 56\u201371. LNAI 1038, Springer-Verlag, 1996.","DOI":"10.1007\/BFb0031846"},{"key":"17_CR9","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-98), pages 316\u2013327, 1998."},{"key":"17_CR10","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 Program-ming, 31:59\u201384, 1997.","journal-title":"Journal of Logic Program-ming"},{"key":"17_CR11","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":"17_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-61474-5_91","volume-title":"Computer-Aided Verification, CAV\u2019 96","author":"S. Owre","year":"1996","unstructured":"S. Owre, S. Rajan, J. M. Rushby, N. Shankar, and M. K. Srivas. PVS: Combining specification, proof checking, and model checking. In Rajeev Alur and Thomas A. Henzinger, editors, Computer-Aided Verification, CAV\u2019 96, volume 1102 of Lecture Notes in Computer Science, pages 411\u2013414, New Brunswick, NJ, July\/August 1996. Springer-Verlag."},{"key":"17_CR13","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelli-gence 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 Intelli-gence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, San Diego, CA, 1991."},{"key":"17_CR14","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":"17_CR15","unstructured":"Steven Shapiro. PhD thesis. In preparation."},{"key":"17_CR16","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0055016","volume-title":"Agents and Multi-Agent Systems \u2014 Formalisms, Methodologies, and Applications","author":"S. Shapiro","year":"1998","unstructured":"Steven Shapiro, Yves Lesp\u00e9rance, and Hector J. Levesque. Specifying communicative multi-agent systems. In Wayne Wobcke, Maurice Pagnucco, and Chengqi Zhang, editors, Agents and Multi-Agent Systems \u2014 Formalisms, Methodologies, and Applications, volume 1441 of LNAI, pages 1\u201314. Springer-Verlag, Berlin, 1998."},{"key":"17_CR17","unstructured":"Steven Shapiro, Maurice Pagnucco, Yves Lesp\u00e9rance, and Hector J. Levesque. Iterated be-lief 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 Interna-tional Conference (KR2000), pages 527\u2013538, San Francisco, CA, 2000. Morgan Kaufmann Publishers."},{"key":"17_CR18","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989."},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"M. Wooldridge, N. R. Jennings, and D. Kinny. A methodology for agent-oriented analysis and design. In O. Etzioni, J. P. M\u00fcller, and J. Bradshaw, editors, Agents\u2019 99: Proceedings of the Third International Conference on Autonomous Agents, Seattle, WA, May 1999. Lynn Andrea Steinau]20._Eric S. K. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, Dept. of Computer Science, University of Toronto, 1995.","DOI":"10.1145\/301136.301165"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VII Agent Theories Architectures and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44631-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T18:09:05Z","timestamp":1684001345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44631-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424222","9783540446316"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44631-1_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}