{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:49:12Z","timestamp":1725670152080},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642291128"},{"type":"electronic","value":"9783642291135"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29113-5_6","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T17:11:51Z","timestamp":1332436311000},"page":"67-83","source":"Crossref","is-referenced-by-count":3,"title":["Formalizing Commitments Using Action Languages"],"prefix":"10.1007","author":[{"given":"Tran Cao","family":"Son","sequence":"first","affiliation":[]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[]},{"given":"Chiaki","family":"Sakama","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-20715-0_4","volume-title":"Declarative Agent Languages and Technologies VIII","author":"M. Baldoni","year":"2011","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol.\u00a06619, pp. 60\u201377. Springer, Heidelberg (2011)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Balduccini, M., Gelfond, M.: Diagnostic Reasoning with A-Prolog. TPLP\u00a03(4,5) (2003)","DOI":"10.1017\/S1471068403001807"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M., Provetti, A.: Representing Actions: Laws, Observations and Hypothesis. JLP\u00a031(1-3) (1997)","DOI":"10.1016\/S0743-1066(96)00141-0"},{"key":"6_CR4","unstructured":"Baral, C., McIlraith, S., Son, T.C.: Formulating diagnostic problem solving using an action language with narratives and sensing. In: KR, pp. 311\u2013322 (2000)"},{"key":"6_CR5","unstructured":"Baral, C., Son, T.C., Tuan, L.C.: A transition function based characterization of actions with delayed and continuous effects. In: KR, pp. 291\u2013302 (2002)"},{"key":"6_CR6","unstructured":"Castelfranchi, C.: Commitments: From individual intentions to groups and organizations. In: Int. Conf. on Multiagent Systems, pp. 41\u201348. The MIT Press (1995)"},{"key":"6_CR7","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Commitment tracking via the reactive event calculus. In: IJCAI (2009)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Chopra, A.K., Singh, M.P.: Contextualizing commitment protocol. In: AAMAS, pp. 1345\u20131352. ACM (2006)","DOI":"10.1145\/1160633.1160884"},{"key":"6_CR9","unstructured":"Desai, N., Chopra, A.K., Singh, M.P.: Representing and reasoning about commitments in business processes. In: AAAI, pp. 1328\u20131333 (2007)"},{"key":"6_CR10","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. ETAI\u00a03(6) (1998)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal App. Logic\u00a05(2) (2007)","DOI":"10.1016\/j.jal.2005.12.011"},{"key":"6_CR12","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/978-3-540-24608-4_10","volume-title":"Advances in Agent Communication","author":"A. Mallya","year":"2004","unstructured":"Mallya, A., Yolum, P., Singh, M.P.: Resolving Commitments among Autonomous Agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 166\u2013182. Springer, Heidelberg (2004)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Mallya, A., Huhns, M.: Commitments among agents. IEEE Internet Comp.\u00a07(4) (2003)","DOI":"10.1109\/MIC.2003.1215666"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Reiter, R.: Knowledge in Actions. MIT Press (2001)","DOI":"10.7551\/mitpress\/4074.001.0001"},{"key":"6_CR15","unstructured":"Singh, M.P.: An ontology for commitments in multiagent systems. Artif. Int. Law\u00a07(1) (1999)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-11355-0_14","volume-title":"Declarative Agent Languages and Technologies VII","author":"P. Torroni","year":"2010","unstructured":"Torroni, P., Chesani, F., Mello, P., Montali, M.: Social Commitments in Time: Satisfied or Compensated. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol.\u00a05948, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Torroni, P., et al.: Modelling interactions via commitments and expectations. In: Handbook of Research on Multi-Agent Systems, pp. 263\u2013284. IGI Global (2009)","DOI":"10.4018\/978-1-60566-256-5.ch011"},{"key":"6_CR18","unstructured":"Son, T.C., Pontelli, E., Sakama, C.: Formalizing Commitments Using Action Languages. Technical Report. NMSU-2010, http:\/\/www.cs.nmsu.edu\/~tson\/papers\/techrep1001.pdf"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: AAMAS, pp. 527\u2013534. ACM (2002)","DOI":"10.1145\/544862.544867"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29113-5_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:24:29Z","timestamp":1620127469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29113-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642291128","9783642291135"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29113-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}