{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:49:38Z","timestamp":1725475778911},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540482871"},{"type":"electronic","value":"9783540482895"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11914853_32","type":"book-chapter","created":{"date-parts":[[2006,11,29]],"date-time":"2006-11-29T15:14:51Z","timestamp":1164813291000},"page":"533-550","source":"Crossref","is-referenced-by-count":16,"title":["Designing Cooperative IS: Exploring and Evaluating Alternatives"],"prefix":"10.1007","author":[{"given":"Volha","family":"Bryl","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Giorgini","sequence":"additional","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, J.S., Fickas, S.: A proposed perspective shift: viewing specification design as a planning problem. In: IWSSD 1989: 5th Int. workshop on Software specification and design, pp. 177\u2013184 (1989)","DOI":"10.1145\/75199.75227"},{"issue":"3","key":"32_CR2","first-page":"203","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An agent-oriented software development methodology. JAAMAS\u00a08(3), 203\u2013236 (2004)","journal-title":"JAAMAS"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11767138_4","volume-title":"Advanced Information Systems Engineering","author":"V. Bryl","year":"2006","unstructured":"Bryl, V., Massacci, F., Mylopoulos, J., Zannone, N.: Designing secure systems through planning. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 33\u201347. Springer, Heidelberg (2006)"},{"key":"32_CR4","unstructured":"Castillo, L., Fdez-Olivares, J., Gonzlez, A.: Integrating hierarchical and conditional planning techniques into a software design process for automated manufacturing. In: ICAPS 2003, Workshop on Planning under Uncertainty and Incomplete Information, pp. 28\u201339 (2003)"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming\u00a020, 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"32_CR6","unstructured":"Edelkamp, S., Hoffmann, J.: Pddl2.2: The language for the classical part of the 4th international planning competition. Technical Report 195, University of Freiburg (2004)"},{"key":"32_CR7","unstructured":"H.\u00a0Estrada. Private communication."},{"key":"32_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M. Fox","year":"2003","unstructured":"Fox, M., Long, D.: Pddl2.1: An extension to pddl for expressing temporal planning domains. J. Artif. Intell. Res (JAIR)\u00a020, 61\u2013124 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"32_CR9","unstructured":"Gans, G., Jarke, M., Kethers, S., Lakemeyer, G.: Modeling the impact of trust and distrust in agent networks. In: AOIS 2001, pp. 45\u201358 (2001)"},{"key":"32_CR10","unstructured":"Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.: PDDL \u2013 The Planning Domain Definition Language. In: AIPS 1998 (1998)"},{"key":"32_CR11","unstructured":"IPC-4 Homepage. International Planning Competition (2004), \n                    \n                      http:\/\/ls5-www.cs.uni-dortmund.de\/~edelkamp\/ipc-4\/"},{"issue":"6","key":"32_CR12","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/1041685.1029905","volume":"29","author":"E. Letier","year":"2004","unstructured":"Letier, E., van Lamsweerde, A.: Reasoning about partial goal satisfaction for requirements and design engineering. SIGSOFT Softw. Eng. Notes\u00a029(6), 53\u201362 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"32_CR13","unstructured":"LPG Homepage. LPG-td Planner, \n                    \n                      http:\/\/zeus.ing.unibs.it\/lpg\/"},{"key":"32_CR14","volume-title":"A Course in Game Theory","author":"M.J. Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"key":"32_CR15","unstructured":"Peer, J.: Web Service Composition as AI Planning \u2013 a Survey. Technical report, University of St. Gallen (2005)"},{"key":"32_CR16","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2002","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall, Englewood Cliffs (2002)","edition":"2"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Tardos, E.: Network games. In: Proceedings of the Annual ACM Symposium on Theory of Computing (2004)","DOI":"10.1145\/1007352.1007356"},{"key":"32_CR18","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/337180.337184","volume-title":"ICSE 2000","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A.: Requirements engineering in the year 00: a research perspective. In: ICSE 2000, pp. 5\u201319. ACM Press, New York (2000)"},{"issue":"2","key":"32_CR19","first-page":"93","volume":"20","author":"D.S. Weld","year":"1999","unstructured":"Weld, D.S.: Recent Advances in AI Planning. AI Magazine\u00a020(2), 93\u2013123 (1999)","journal-title":"AI Magazine"},{"key":"32_CR20","unstructured":"Yu, E.S.-K.: Modelling strategic relationships for process reengineering. PhD thesis, University of Toronto (1996)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11914853_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:39:51Z","timestamp":1619494791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11914853_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540482871","9783540482895"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11914853_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}