{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:45:37Z","timestamp":1725543937263},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540339960"},{"type":"electronic","value":"9783540339977"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11750734_23","type":"book-chapter","created":{"date-parts":[[2006,4,11]],"date-time":"2006-04-11T07:09:15Z","timestamp":1144739355000},"page":"396-405","source":"Crossref","is-referenced-by-count":4,"title":["Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Cares","sequence":"first","affiliation":[]},{"given":"Xavier","family":"Franch","sequence":"additional","affiliation":[]},{"given":"Enric","family":"Mayol","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Dastani, M., Hulstijn, J., Dignum, F., Meyer, J.: Issues in Multiagent Systems Development. In: Third International Conference AAMAS 2004, Columbia, USA, pp. 920\u2013927 (July 2004)"},{"key":"23_CR2","unstructured":"Hoa, K., Winikoff, M.: Comparing Agent-Oriented Methodologies. In: The proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems, AAMAS 2003, Melbourne, Australia (July 2003)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45341-5_8","volume-title":"Advanced Information Systems Engineering","author":"J. Castro","year":"2001","unstructured":"Castro, J., Kolp, M., Mylopoulos, J.: A Requirements-Driven Development Methodology. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol.\u00a02068, pp. 108\u2013123. Springer, Heidelberg (2001)"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Perini, A., Bresciani, P., Giunchiglia, P., Giorgini, P., Mylopoulos, J.: A knowledge Level Soft-ware Engineering Methodology for Agent Oriented Programming. In: Proceedings of the Fifth International Conference on Autonomous Agents, Montreal, Canada (May 2001)","DOI":"10.1145\/375735.376477"},{"key":"23_CR5","unstructured":"Sannicol\u00f3, F., Perini, A., Giunchiglia, F.: The Tropos modelling language - A User Guide. Technical report DIT-02-0061, University of Trento (February 2002)"},{"key":"23_CR6","unstructured":"Grau, G., Franch, X., Mayol, E., Ayala, C., Cares, C., Haya, M., Navarrete, F., Botella, P., Quer, C.: RiSD: A Methodology for Building i* Strategic Dependency Models. In: Proceedings of The 17th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, July 14-16, pp. 259\u2013266 (2005)"},{"key":"23_CR7","unstructured":"Odell, J., Van Parunak, H.D., Bauer, B.: Extending UML for Agents. In: Proceedings of the Agent-Oriented Information System Workshop at the 17th National Conference on Artificial Intelligence, Austin, USA, pp. 3\u201317 (2002)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Amyot, D., Mussbacher, G.: URN: Towards a New Standard for the Visual Description of Requirements. In: Proc. of the 3rd Int. Workshop on Telecommunications and beyond: The Broader Applicability of SDL and MSC., Aberystwyth, UK, June 24-26, pp. 21\u201337 (2002)","DOI":"10.1007\/3-540-36573-7_2"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-47961-9_6","volume-title":"Advanced Information Systems Engineering","author":"L. Liu","year":"2002","unstructured":"Liu, L., Yu, E.: Designing Web-Based Systems in Social Context: A Goal and Scenario Based Approach. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 37\u201351. Springer, Heidelberg (2002)"},{"key":"23_CR10","unstructured":"GRL web site, http:\/\/www.cs.toronto.edu\/km\/GRL\/"},{"key":"23_CR11","unstructured":"Wielemaker, J.: SWI-Prolog 5-1: Reference Manual. SWI, University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands, (1997-2003)"},{"key":"23_CR12","unstructured":"Kirk, R.E.: Experimental Design, 2nd edn. Brooks\/Cole Publishing Company (1982)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11750734_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:57:22Z","timestamp":1619492242000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11750734_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540339960","9783540339977"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11750734_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}