{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:41:30Z","timestamp":1729618890869,"version":"3.28.0"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/aire.2014.6894854","type":"proceedings-article","created":{"date-parts":[[2014,9,17]],"date-time":"2014-09-17T02:10:11Z","timestamp":1410919811000},"page":"35-42","source":"Crossref","is-referenced-by-count":3,"title":["On requirements representation and reasoning using answer set programming"],"prefix":"10.1109","author":[{"given":"Julian","family":"Padget","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emad Eldeen","family":"Elakehal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Satoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fuyuki","family":"Ishikawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1017\/S0269888900000205"},{"doi-asserted-by":"publisher","key":"35","DOI":"10.1016\/j.future.2011.04.006"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1145\/2346536.2346538"},{"key":"36","first-page":"21","article-title":"Evaluating the cost of enforcement by agent-ba sed simulation: A wireless mobile grid example","volume":"8291","author":"balke","year":"2013","journal-title":"PRIMA Ser LNCS"},{"year":"2014","author":"elakehal","journal-title":"Modelling Self-managing Multiagent Systems Using Norms","key":"18"},{"doi-asserted-by":"publisher","key":"33","DOI":"10.1109\/RES4.2012.6347689"},{"key":"15","first-page":"675","article-title":"Scalable middleware environment for agent-based Internet applications","volume":"3732","author":"overeinder","year":"2006","journal-title":"Applied Parallel Computing Ser LNCS"},{"doi-asserted-by":"publisher","key":"34","DOI":"10.1145\/2523514.2523526"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1145\/1082473.1082817"},{"key":"39","article-title":"On the benefit of collective norms for autonomous vehicles","author":"baines","year":"2014","journal-title":"Proceedings of 8th International Workshop on Agents in Traffic and Transportation"},{"key":"13","first-page":"207","article-title":"FM96.5 A java-based electronic auction house","author":"rod?guez","year":"1997","journal-title":"Proceedings of 2nd Conference on Practical Applications of Intelligent Agents and MultiAgent Technology (PAAM'97)"},{"key":"14","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/j.entcs.2006.12.043","article-title":"Self management and the future of software design","volume":"182","author":"roy","year":"2007","journal-title":"Electr Notes Theor Comput Sci"},{"doi-asserted-by":"publisher","key":"37","DOI":"10.1002\/cav.1517"},{"key":"11","first-page":"17","article-title":"Decoupling cognitive agents and virtual environments","volume":"7764","author":"lee","year":"2012","journal-title":"CAV Ser LNCS"},{"key":"38","first-page":"128","article-title":"Recent development and applications of SUMO-Simulation of Urban MObility","volume":"5","author":"krajzewicz","year":"2012","journal-title":"International Journal on Advances in Systems and Measurements"},{"key":"12","first-page":"11","article-title":"Pan-supplier stock control in a virtual warehouse","author":"elakehal","year":"2008","journal-title":"AAMAS (Industry Track)"},{"key":"21","first-page":"51","article-title":"Multiagent organizations","author":"dignum","year":"2013","journal-title":"Multiagent Systems"},{"key":"20","first-page":"1010","article-title":"Engineering open multi-agent systems as electronic institutions","author":"esteva","year":"2004","journal-title":"AAAI"},{"doi-asserted-by":"publisher","key":"41","DOI":"10.1109\/TSE.2012.41"},{"year":"0","journal-title":"Extensible Messaging and Presence Protocol(XMPP) Core and Related Other RFCs","key":"40"},{"key":"22","article-title":"Decserflow: Towards a truly declarative service flow language","author":"aalst der w van","year":"2006","journal-title":"The Role of Business Processes in Service Oriented Architectures Ser Dagstuhl Seminar Proceedings"},{"key":"23","article-title":"Specification and verification of declarative open interaction models: A logic-based approach","volume":"56","author":"montali","year":"2010","journal-title":"ser LNBIP"},{"key":"24","first-page":"44","article-title":"Verifying MSMAS model using SCIFF","volume":"8076","author":"elakehal","year":"2013","journal-title":"MATES Ser LNCS"},{"key":"25","first-page":"107","article-title":"Legal conflict detection in interacting legal systems","volume":"259","author":"li","year":"2013","journal-title":"JURIX Ser Frontiers in Artificial Intelligence and Applications"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1145\/2514601.2514627"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.1007\/978-3-642-04238-6_56"},{"doi-asserted-by":"publisher","key":"28","DOI":"10.1017\/CBO9780511543357"},{"doi-asserted-by":"publisher","key":"29","DOI":"10.1007\/BF03037169"},{"key":"3","first-page":"95","article-title":"Requirements-aware systems: A research agenda for RE for selfadaptive systems","author":"sawyer","year":"2010","journal-title":"RE IEEE Computer Society"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/ICSE.2007.65"},{"key":"10","first-page":"121","article-title":"MSMAS: Modelling self-managing multi agent systems","volume":"13","author":"elakehal","year":"2012","journal-title":"SCPE Scalable Computing Practice and Exp Erience"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/ISRE.1995.512555"},{"key":"30","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","article-title":"Potassco: The Potsdam answer set solving collection","volume":"24","author":"gebser","year":"2011","journal-title":"AI communications"},{"key":"7","first-page":"60","article-title":"Answer set programming for representing and reasoning abou t virtual institutions","volume":"4371","author":"cliffe","year":"2006","journal-title":"CLIMA VII Ser LNCS"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1145\/1810295.1810329"},{"key":"32","first-page":"129","article-title":"Legal modelling and reasoning using institutions","volume":"6797","author":"de vos","year":"2010","journal-title":"JSAI-isAI Workshops Ser LNCS"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/RE.2012.6345797"},{"key":"31","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/3-540-36467-6_6","article-title":"Platform for enterprise privacy practices: Privacy-enabled management of customer data","author":"karjoth","year":"2003","journal-title":"Proceedings of the 2nd International Conference on Privacy Enhancing Technologies Ser PET'02"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1007\/978-3-642-35992-7_7"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1093\/jigpal\/4.3.427"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1007\/BF03037383"}],"event":{"name":"2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)","start":{"date-parts":[[2014,8,26]]},"location":"Karlskrona, Sweden","end":{"date-parts":[[2014,8,26]]}},"container-title":["2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6887463\/6894845\/06894854.pdf?arnumber=6894854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T14:27:20Z","timestamp":1598279240000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6894854\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/aire.2014.6894854","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}