{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:42:06Z","timestamp":1760708526266},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,3,23]],"date-time":"2013-03-23T00:00:00Z","timestamp":1363996800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s10489-013-0428-6","type":"journal-article","created":{"date-parts":[[2013,3,22]],"date-time":"2013-03-22T06:43:06Z","timestamp":1363934586000},"page":"489-509","source":"Crossref","is-referenced-by-count":19,"title":["Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments"],"prefix":"10.1007","volume":"39","author":[{"given":"Ak\u0131n","family":"G\u00fcnay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P\u0131nar","family":"Yolum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,23]]},"reference":[{"issue":"4","key":"428_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M Alberti","year":"2008","unstructured":"Alberti\u00a0M, Chesani\u00a0F, Gavanelli\u00a0M, Lamma\u00a0E, Mello\u00a0P, Torroni\u00a0P (2008) Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans Comput Log 9(4):1\u201343","journal-title":"ACM Trans Comput Log"},{"issue":"2","key":"428_CR2","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1023\/B:APIN.0000033636.14272.95","volume":"21","author":"MI Alfonso","year":"2004","unstructured":"Alfonso MI, Barber F (2004) A\u00a0mixed closure-CSP method for solving scheduling problems. Appl Intell 21(2):173\u2013193","journal-title":"Appl Intell"},{"key":"428_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of constraint programming","author":"KR Apt","year":"2003","unstructured":"Apt KR (2003) Principles of constraint programming. Cambridge University Press, Cambridge"},{"key":"428_CR4","first-page":"600","volume-title":"Proceedings of the 14th international joint conference on artificial intelligence (IJCAI)","author":"P Baptiste","year":"1995","unstructured":"Baptiste P, Le\u00a0Pape C (1995) A\u00a0theoretical and experimental comparison of constraint propagation techniques for disjunctive scheduling. In: Proceedings of the 14th international joint conference on artificial intelligence (IJCAI), pp 600\u2013606"},{"issue":"2","key":"428_CR5","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1007\/s10489-010-0273-9","volume":"36","author":"F Both","year":"2012","unstructured":"Both F, Hoogendoorn M, Mee A, Treur J, Vos M (2012) An intelligent agent model with awareness of workflow progress. Appl Intell 36(2):498\u2013510","journal-title":"Appl Intell"},{"key":"428_CR6","first-page":"375","volume-title":"Software agents","author":"JM Bradshaw","year":"1997","unstructured":"Bradshaw JM, Dutfield S, Benoit P, Woolley JD (1997) KAoS: toward an industrial-strength open agent architecture. In: Bradshaw JM (ed) Software agents. MIT Press, Cambridge, pp 375\u2013418"},{"issue":"3","key":"428_CR7","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1016\/S0377-2217(98)00364-6","volume":"119","author":"SC Brailsford","year":"1999","unstructured":"Brailsford SC, Potts CN, Smith BM (1999) Constraint satisfaction problems: algorithms and applications. Eur J Oper Res 119(3):557\u2013581","journal-title":"Eur J Oper Res"},{"key":"428_CR8","first-page":"41","volume-title":"Proceedings of the international conference on multiagent systems (ICMAS)","author":"C Castelfranchi","year":"1995","unstructured":"Castelfranchi C (1995) Commitments: from individual intentions to groups and organizations. In: Proceedings of the international conference on multiagent systems (ICMAS), pp 41\u201348"},{"key":"428_CR9","first-page":"91","volume-title":"Proceedings of the 21st international joint conference on artifical intelligence (IJCAI)","author":"F Chesani","year":"2009","unstructured":"Chesani F, Mello P, Montali M, Torroni P (2009) Commitment tracking via the reactive event calculus. In: Proceedings of the 21st international joint conference on artifical intelligence (IJCAI), pp 91\u201396"},{"issue":"3","key":"428_CR10","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1111\/j.1467-8640.1996.tb00267.x","volume":"12","author":"L Chittaro","year":"1996","unstructured":"Chittaro L, Montanari A (1996) Efficient temporal reasoning in the cached event calculus. Comput Intell 12(3):359\u2013382","journal-title":"Comput Intell"},{"key":"428_CR11","first-page":"457","volume-title":"Proceedings of the 9th international conference on autonomous agents and multiagent systems (AAMAS)","author":"AK Chopra","year":"2010","unstructured":"Chopra AK, Dalpiaz F, Giorgini P, Mylopoulos J (2010) Reasoning about agents and protocols via goals and commitments. In: Proceedings of the 9th international conference on autonomous agents and multiagent systems (AAMAS), pp 457\u2013464"},{"key":"428_CR12","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Policies for distributed systems and networks","author":"N Damianou","year":"2001","unstructured":"Damianou N, Dulay N, Lupu E, Sloman M (2001) The ponder policy specification language. In: Sloman M, Lupu E, Lobo J (eds) Policies for distributed systems and networks. Lecture notes in computer science, vol\u00a01995. Springer, Berlin\/Heidelberg, pp 18\u201338"},{"key":"428_CR13","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1109\/SCC.2007.58","volume-title":"IEEE international conference on services computing (SCC)","author":"N Desai","year":"2007","unstructured":"Desai N, Chopra AK, Arrott M, Specht B, Singh MP (2007) Engineering foreign exchange processes via commitment protocols. In: IEEE international conference on services computing (SCC), pp 514\u2013521"},{"key":"428_CR14","first-page":"1328","volume-title":"Proceedings of the national conference on artificial intelligence (AAAI)","author":"N Desai","year":"2007","unstructured":"Desai N, Chopra AK, Singh MP (2007) Representing and reasoning about commitments in business processes. In: Proceedings of the national conference on artificial intelligence (AAAI), pp 1328\u20131333"},{"issue":"2","key":"428_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1571629.1571632","volume":"19","author":"N Desai","year":"2009","unstructured":"Desai N, Chopra AK, Singh MP (2009) Amoeba: a\u00a0methodology for modeling and evolving cross-organizational business processes. ACM Trans Softw Eng Methodol 19(2):1\u201345","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"428_CR16","first-page":"787","volume-title":"Proceedings of the 7th international joint conference on autonomous agents and multiagent systems (AAMAS)","author":"N Desai","year":"2008","unstructured":"Desai N, Narendra NC, Singh MP (2008) Checking correctness of business contracts via commitments. In: Proceedings of the 7th international joint conference on autonomous agents and multiagent systems (AAMAS), pp 787\u2013794"},{"key":"428_CR17","first-page":"483","volume-title":"Proceedings of the 10th international conference on autonomous agents and multiagent systems (AAMAS)","author":"M El-Menshawy","year":"2011","unstructured":"El-Menshawy M, Bentahar J, Qu H, Dssouli R (2011) On the verification of social commitments and time. In: Proceedings of the 10th international conference on autonomous agents and multiagent systems (AAMAS), pp 483\u2013490"},{"key":"428_CR18","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-642-04761-9_8","volume-title":"Automated technology for verification and analysis","author":"S Fenech","year":"2009","unstructured":"Fenech S, Pace G, Schneider G (2009) CLAN: a\u00a0tool for contract analysis and conflict discovery. In: Automated technology for verification and analysis. Lecture notes in computer science, vol 5799. Springer, Berlin\/Heidelberg, pp 90\u201396"},{"key":"428_CR19","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1145\/544862.544868","volume-title":"Proceedings of the 1st international joint conference on autonomous agents and multiagent systems (AAMAS)","author":"N Fornara","year":"2002","unstructured":"Fornara N, Colombetti M (2002) Operational specification of a commitment-based agent communication language. In: Proceedings of the 1st international joint conference on autonomous agents and multiagent systems (AAMAS), pp 536\u2013542"},{"issue":"4","key":"428_CR20","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1016\/j.websem.2010.08.007","volume":"8","author":"A G\u00fcnay","year":"2010","unstructured":"G\u00fcnay A, Yolum P (2010) Service matchmaking revisited: an approach based on model checking. Web Semant Sci Serv Agents World Wide Web 8(4), 292\u2013309","journal-title":"Web Semant Sci Serv Agents World Wide Web"},{"key":"428_CR21","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-3-642-29113-5_5","volume-title":"Declarative agent languages and technologies (DALT) IX\u2014revised selected and invited papers","author":"A G\u00fcnay","year":"2012","unstructured":"G\u00fcnay A, Yolum P (2012) Detecting conflicts in commitments. In: Declarative agent languages and technologies (DALT) IX\u2014revised selected and invited papers. Lecture notes in computer science, vol 7169. Springer, Berlin\/Heidelberg, pp 51\u201366"},{"key":"428_CR22","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1109\/ASONAM.2012.76","volume-title":"IEEE\/ACM international conference on advances in social networks analysis and mining","author":"\u00d6 Kafal\u0131","year":"2012","unstructured":"Kafal\u0131 \u00d6, G\u00fcnay A, Yolum P (2012) $\\mathcal{PROTOSS}$ : a run time tool for detecting $\\mathcal {PR}$ ivacy vi $\\mathcal{O}$ la $\\mathcal{T}$ ions in $\\mathcal{O}$ nline $\\mathcal{S}$ ocial network $\\mathcal{S}$ . In: IEEE\/ACM international conference on advances in social networks analysis and mining, pp 429\u2013433"},{"key":"428_CR23","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/978-3-540-39718-2_26","volume-title":"The semantic web\u2014ISWC 2003","author":"L Kagal","year":"2003","unstructured":"Kagal L, Finin T, Joshi A (2003) A policy based approach to security for the semantic web. In: Fensel D, Sycara K, Mylopoulos J (eds) The semantic web\u2014ISWC 2003. Lecture notes in computer science, vol 2870. Springer, Berlin\/Heidelberg, pp 402\u2013418"},{"issue":"4","key":"428_CR24","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1007\/s10489-012-0347-y","volume":"37","author":"J Kang","year":"2012","unstructured":"Kang J, Sim K (2012) A\u00a0multiagent brokering protocol for supporting grid resource discovery. Appl Intell 37(4):527\u2013542","journal-title":"Appl Intell"},{"issue":"2","key":"428_CR25","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/s10489-012-0371-y","volume":"38","author":"S Koohborfardhaghighi","year":"2013","unstructured":"Koohborfardhaghighi S, Kim J (2013) Using structural information for distributed recommendation in a social network. Appl. Intell. 38(2):255\u2013266. doi: 10.1007\/s10489-012-0371-y","journal-title":"Appl. Intell."},{"issue":"3","key":"428_CR26","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1145\/785411.785416","volume":"8","author":"K Kuchcinski","year":"2003","unstructured":"Kuchcinski K (2003) Constraints-driven scheduling and resource assignment. ACM Trans Des Autom Electron Syst 8(3):355\u2013383","journal-title":"ACM Trans Des Autom Electron Syst"},{"key":"428_CR27","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-61794-9_57","volume-title":"Practice and theory of automated timetabling","author":"G Lajos","year":"1996","unstructured":"Lajos G (1996) Complete university modular timetabling using constraint logic programming. In: Burke\u00a0E, Ross\u00a0P (eds) Practice and theory of automated timetabling. Lecture notes in computer science, vol 1153. Springer, Berlin\/Heidelberg, pp 146\u2013161"},{"key":"428_CR28","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"Computer aided verification","author":"A Lomuscio","year":"2009","unstructured":"Lomuscio A, Qu H, Raimondi F (2009) MCMAS: a\u00a0model checker for the verification of multi-agent systems. In: Bouajjani\u00a0A, Maler\u00a0O (eds) Computer aided verification. Lecture notes in computer science, vol 5643. Springer, Berlin\/Heidelberg, pp 682\u2013688"},{"key":"428_CR29","series-title":"Lecture notes in artificial intelligence","first-page":"166","volume-title":"Advances in agent communication","author":"AU Mallya","year":"2003","unstructured":"Mallya AU, Yolum P, Singh MP (2003) Resolving commitments among autonomous agents. In: Dignum F (ed) Advances in agent communication. Lecture notes in artificial intelligence, vol 2922. Springer, Berlin\/Heidelberg, pp 166\u2013182"},{"key":"428_CR30","first-page":"467","volume-title":"The 10th international conference on autonomous agents and multiagent systems (AAMAS)","author":"E Marengo","year":"2011","unstructured":"Marengo E, Baldoni M, Baroglio C, Chopra AK, Patti V, Singh MP (2011) Commitments with regulations: reasoning about safety and control in REGULA. In: The 10th international conference on autonomous agents and multiagent systems (AAMAS), pp 467\u2013474"},{"issue":"1","key":"428_CR31","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/s10489-010-0246-z","volume":"36","author":"M Mouhoub","year":"2012","unstructured":"Mouhoub M, Sukpan A (2012) Conditional and composite temporal CSPs. Appl Intell 36(1):90\u2013107","journal-title":"Appl Intell"},{"key":"428_CR32","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/978-3-642-00443-8_11","volume-title":"Coordination, organizations, institutions and norms in agent systems IV","author":"N Oren","year":"2009","unstructured":"Oren N, Panagiotidi S, V\u00e1zquez-Salceda J, Modgil S, Luck M, Miles S (2009) Towards a formalisation of electronic contracting environments. In: H\u00fcbner J, Matson E, Boissier O, Dignum V (eds) Coordination, organizations, institutions and norms in agent systems IV. Lecture notes in computer science, vol 5428. Springer, Berlin\/Heidelberg, pp 156\u2013171"},{"issue":"1","key":"428_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0269888904000116","volume":"19","author":"SD Ramchurn","year":"2004","unstructured":"Ramchurn SD, Huynh D, Jennings NR (2004) Trust in multi-agent systems. Knowl Eng Rev 19(1):1\u201325","journal-title":"Knowl Eng Rev"},{"issue":"9","key":"428_CR34","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/35.312842","volume":"32","author":"RS Sandhu","year":"1994","unstructured":"Sandhu RS, Samarati P (1994) Access control: principle and practice. IEEE Commun Mag 32(9):40\u201348","journal-title":"IEEE Commun Mag"},{"key":"428_CR35","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.websem.2011.11.005","volume":"12\u201313","author":"M Sensoy","year":"2012","unstructured":"Sensoy M, Norman TJ, Vasconcelos WW, Sycara K (2012) OWL-POLAR: a\u00a0framework for semantic policy representation and reasoning. Web Semant Sci Serv Agents World Wide Web 12\u201313:148\u2013160","journal-title":"Web Semant Sci Serv Agents World Wide Web"},{"issue":"12","key":"428_CR36","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"MP Singh","year":"1998","unstructured":"Singh MP (1998) Agent communication languages: rethinking the principles. IEEE Comput 31(12):40\u201347","journal-title":"IEEE Comput"},{"issue":"1","key":"428_CR37","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"MP Singh","year":"1999","unstructured":"Singh MP (1999) An ontology for commitments in multiagent systems. Artif Intell Law 7(1):97\u2013113","journal-title":"Artif Intell Law"},{"key":"428_CR38","first-page":"176","volume-title":"Proceedings of the 23rd national conference on artificial intelligence (AAAI)","author":"MP Singh","year":"2008","unstructured":"Singh MP (2008) Semantical considerations on dialectical and practical commitments. In: Proceedings of the 23rd national conference on artificial intelligence (AAAI), pp 176\u2013181"},{"issue":"11","key":"428_CR39","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MC.2009.347","volume":"42","author":"MP Singh","year":"2009","unstructured":"Singh MP, Chopra AK, Desai N (2009) Commitment-based service-oriented architecture. IEEE Comput 42(11):72\u201379","journal-title":"IEEE Comput"},{"issue":"3","key":"428_CR40","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1109\/TSC.2011.4","volume":"5","author":"PR Telang","year":"2011","unstructured":"Telang PR, Singh MP (2011) Specifying and verifying cross-organizational business models: an agent-oriented approach. IEEE Trans Serv Comput 5(3):305\u2013318","journal-title":"IEEE Trans Serv Comput"},{"key":"428_CR41","first-page":"1551","volume-title":"Proceedings of the 20th international joint conference on artifical intelligence (IJCAI)","author":"Y Wang","year":"2007","unstructured":"Wang Y, Singh MP (2007) Formal trust model for multiagent systems. In: Proceedings of the 20th international joint conference on artifical intelligence (IJCAI), pp 1551\u20131556"},{"key":"428_CR42","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/11493402_12","volume-title":"Declarative agent languages and technologies II","author":"M Winikoff","year":"2005","unstructured":"Winikoff M, Liu W, Harland J (2005) Enhancing commitment machines. In: Leite J, Omicini A, Torroni P, Yolum P (eds) Declarative agent languages and technologies II. Lecture notes in computer science, vol 3476. Springer, Berlin\/Heidelberg, pp 198\u2013220"},{"key":"428_CR43","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1145\/544862.544867","volume-title":"Proceedings of the 1st international joint conference on autonomous agents and multiagent systems (AAMAS)","author":"P Yolum","year":"2002","unstructured":"Yolum P, Singh MP (2002) Flexible protocol specification and execution: applying event calculus planning using commitments. In: Proceedings of the 1st international joint conference on autonomous agents and multiagent systems (AAMAS), pp 527\u2013534"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-013-0428-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-013-0428-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-013-0428-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:25:49Z","timestamp":1559154349000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-013-0428-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,23]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["428"],"URL":"https:\/\/doi.org\/10.1007\/s10489-013-0428-6","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,23]]}}}