{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:34:28Z","timestamp":1725557668508},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134791"},{"type":"electronic","value":"9783642134807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13480-7_1","type":"book-chapter","created":{"date-parts":[[2010,6,20]],"date-time":"2010-06-20T23:59:07Z","timestamp":1277078347000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Declarative Technologies for Open Agent Systems and Beyond"],"prefix":"10.1007","author":[{"given":"Federico","family":"Chesani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The sciff framework. ACM Trans. Comput. Log.\u00a09(4) (2008)","DOI":"10.1145\/1380572.1380578"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-02562-4_2","volume-title":"Engineering Societies in the Agents World IX","author":"A. Artikis","year":"2008","unstructured":"Artikis, A., Pitt, J.V.: Specifying open agent systems: A survey. In: Artikis, A., Picard, G., Vercouter, L. (eds.) ESAW 2008. LNCS, vol.\u00a05485, pp. 29\u201345. Springer, Heidelberg (2008)"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1145\/860575.860654","volume-title":"AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems","author":"M. Dastani","year":"2003","unstructured":"Dastani, M., Dignum, V., Dignum, F.: Role-assignment in open agent societies. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 489\u2013496. ACM, New York (2003)"},{"key":"1_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45584-1_1","volume-title":"Engineering Societies in the Agents World II","author":"P. Davidsson","year":"2001","unstructured":"Davidsson, P.: Categories of artificial societies. In: Omicini, A., Petta, P., Tolksdorf, R. (eds.) ESAW 2001. LNCS (LNAI), vol.\u00a02203, pp. 1\u20139. Springer, Heidelberg (2001)"},{"issue":"1","key":"1_CR5","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10506-007-9055-z","volume":"16","author":"N. Fornara","year":"2008","unstructured":"Fornara, N., Vigan\u00f2, F., Verdicchio, M., Colombetti, M.: Artificial institutions: a model of institutional reality for open multiagent systems. Artif. Intell. Law\u00a016(1), 89\u2013105 (2008)","journal-title":"Artif. Intell. Law"},{"issue":"1-3","key":"1_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(91)90051-K","volume":"47","author":"C. Hewitt","year":"1991","unstructured":"Hewitt, C.: Open information systems semantics for distributed artificial intelligence. Artif. Intell.\u00a047(1-3), 79\u2013106 (1991)","journal-title":"Artif. Intell."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Hewitt, C., de Jong, P.: Open systems. In: On Conceptual Modelling (Intervale), pp. 147\u2013164 (1982)","DOI":"10.1007\/978-1-4612-5196-5_6"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Open Declarative Interaction Models: a Logic-Based Framework. PhD thesis, Department of Electronics, Computer Sciences and Systems, University of Bologna, Italy (2009)","DOI":"10.1007\/978-3-642-14538-4_2"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"M.P. Singh","year":"1999","unstructured":"Singh, M.P.: An ontology for commitments in multiagent systems. Artif. Intell. Law\u00a07, 97\u2013113 (1999)","journal-title":"Artif. Intell. Law"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Torroni, P., Yolum, P., Singh, M., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Modelling interactions via commitments and expectations, ch. XI. IGI Global, Hershey, PA, US (2009)","DOI":"10.4018\/978-1-60566-256-5.ch011"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11549970_4","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N., Verbeek, H.M.W., Wohed, P.: Life after BPEL? In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 35\u201350. Springer, Heidelberg (2005) (invited speaker)"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/544862.544867","volume-title":"AAMAS","author":"P. Yolum","year":"2002","unstructured":"Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: AAMAS, pp. 527\u2013534. ACM, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Agent and Multi-Agent Systems: Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13480-7_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:38:26Z","timestamp":1606185506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13480-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134791","9783642134807"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13480-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}