{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T18:31:16Z","timestamp":1743013876551,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403005"},{"type":"electronic","value":"9783540448860"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44886-1_28","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T20:09:42Z","timestamp":1184962182000},"page":"370-382","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Situation Event Logic for Early Validation of Multi-Agent Systems"],"prefix":"10.1007","author":[{"given":"Sehl","family":"Mellouli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Mineau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Moulin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"28_CR1","unstructured":"Bernon., C., Gleizes., G., Peyruqueou., S., Picard., G. ADELF, a Methodology for Adaptive Multi-Agent Systems Engineering. Workshop Notes of the Third International Workshop Engineering Societies in the agents world, 16\u201317 September 2002, Madrid, Spain, pp. 21\u201334."},{"key":"28_CR2","volume-title":"State Event Logic","author":"G. Groe","year":"1996","unstructured":"Groe., G. State Event Logic. Phd thesis, Technical University Darmstadt. Darmstadt, Germany, 1996."},{"key":"28_CR3","unstructured":"Hughes. G. E. et Cresswell. M. J.. An Introduction nto Modal Logic. Eds. Methuen and Co Ltd, 1968."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Iglesias., C. A., and Garijo., M., and Gonzales., J. C., and Velasco., R. Analysis and Design of Multi-Agent Systems using MAS-CommonKADS. In proceedings of the AAAI\u201997 Workshop on agent Theories, Architectures and Languages, Providence, USA, July, 1997.","DOI":"10.1007\/BFb0026768"},{"key":"28_CR5","unstructured":"Lesp\u00e9rance., Y., and Shapiro., S. On Agent-Oriented Requirements Engineering. Position paper for the Agent Oriented Information Systems (AOIS\u201999), Heidelberg, June 99, Germany."},{"key":"28_CR6","series-title":"Lect Notes Comput Sci","first-page":"365","volume-title":"Proceedings of the 11th International Conference, CAiSE-99, Heidelberg, Germany","author":"Y. Lesp\u00e9rance","year":"1999","unstructured":"Lesp\u00e9rance., Y., Kelley.,. G., Mylopoulos., J., and Yu., E. S. K. Modeling Dynamic Domains with ConGoLog. Advanced Information Systems Engineering. Proceedings of the 11th International Conference, CAiSE-99, Heidelberg, Germany, June 1999, LNCS vol. 1626, Springer-Verlag, Berlin. pp. 365\u2013380."},{"key":"28_CR7","unstructured":"Levesque., H., and Pirri., F., and Reiter., R. Foundations for the Situation Calculus. Linkoping Electronic Articles in Computer and Information Science, volume 3, 1998. http:\/\/www.ep.liu.se\/ea\/cis\/1998\/018 ."},{"key":"28_CR8","unstructured":"McCarthy., J. Situation Calculus With Concurrent Events and Narrative. http:\/\/www-formal.stanford.edu\/jmc\/narrative\/narrative.html , 2000."},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Mellouli., S., Mineau., G., and Pascot., D. The Integrated Modeling of Multi-agent Systems and their Environment. In Proceedings of the First International Conference on Autonomous Agents and Multi-Agent Systems 2002 (AAMAS 2002), 15\u201319 July 2002, Bologna, Italy. (to appear).","DOI":"10.1145\/544741.544861"},{"key":"28_CR10","unstructured":"Mellouli., S., Mineau., G., and Pascot., D. Multi-Agent System Design. In workshop notes of the Third International workshop Engineering Societies in the Agents World, 16\u201317 September 2002, Madrid, Spain. pp 127\u2013138."},{"key":"28_CR11","unstructured":"Odell., J., Parunak., V. D. H., and Bauer., B. Extending UML for Agents. Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National Conference on Artificial Intelligence, Austin, Tx, pp 3\u201317, AOIS Workshop at AAAI 2000."},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Omicini., A. SODA: Societies and Infrastructures in the Analysis and Design of Agent-based systems. Agent Oriented Software Engineering Workshop, 10 June 2000, Limerick, Ireland, pp 185\u2013193.","DOI":"10.1007\/3-540-44564-1_12"},{"key":"28_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45324-5","volume-title":"RoboCup-2000: Robot Soccer World Cup IV.","author":"P. Stone","year":"2001","unstructured":"Stone., P., Balch., T. and Kreatzschmarr., G. RoboCup-2000: Robot Soccer World Cup IV. SpringerVerlag, Berlin, 2001."},{"key":"28_CR14","unstructured":"Wooldridge., M., and Jennings., N. R., and Kinny., D. The Gaia Methodology for Agent-Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems 3(3)."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44886-1_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T13:53:07Z","timestamp":1683985987000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44886-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403005","9783540448860"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44886-1_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}