{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:08:27Z","timestamp":1725538107120},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048784"},{"type":"electronic","value":"9783642048791"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04879-1_10","type":"book-chapter","created":{"date-parts":[[2009,9,17]],"date-time":"2009-09-17T07:19:31Z","timestamp":1253171971000},"page":"130-146","source":"Crossref","is-referenced-by-count":3,"title":["A Framework for Goal-Based Semantic Compensation in Agent Systems"],"prefix":"10.1007","author":[{"given":"Amy","family":"Unruh","sequence":"first","affiliation":[]},{"given":"James","family":"Bailey","sequence":"additional","affiliation":[]},{"given":"Kotagiri","family":"Ramamohanarao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Transaction Processing: Concepts and Techniques","author":"J. Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)"},{"key":"10_CR2","unstructured":"FIPA: Fipa"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"M. Nodine","year":"1998","unstructured":"Nodine, M., Unruh, A.: Facilitating open communication in agent systems. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, Springer, Heidelberg (1998)"},{"key":"10_CR4","unstructured":"Dayal, U., Hanson, E., Widom, J.: Active database systems. In: Modern Database Systems: The Object Model, Interoperability, and Beyond (1995)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The next step in web services. Communications of the ACM\u00a046(10) (2003)","DOI":"10.1145\/944217.944234"},{"key":"10_CR6","unstructured":"Mikalsen, T., Tai, S., Rouvellou, I.: Transactional attitudes: Reliable composition of autonomous web services. In: Workshop on Dependable Middleware-based Systems (2002)"},{"key":"10_CR7","volume-title":"Issues in Agent Communication","author":"M. Nodine","year":"2000","unstructured":"Nodine, M., Unruh, A.: Constructing robust conversation policies in dynamic agent communities. In: Issues in Agent Communication. Springer, Heidelberg (2000)"},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1613\/jair.1213","volume":"19","author":"W. Walsh","year":"2003","unstructured":"Walsh, W., Wellman, M.: Decentralized supply chain formation: A market protocol and competitive equilibrium analysis. JAIR\u00a019, 513\u2013567 (2003)","journal-title":"JAIR"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"The 12th International Conference on Cooperative Information Systems, Cyprus","author":"A. Unruh","year":"2004","unstructured":"Unruh, A., Bailey, J., Ramamohanarao, K.: Managing semantic compensation in a multi-agent system. In: The 12th International Conference on Cooperative Information Systems, Cyprus. LNCS. Springer, Heidelberg (2004)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/336595.337366","volume-title":"Proceedings of the Fourth International Conference on Autonomous Agents","author":"A. Cassandra","year":"2000","unstructured":"Cassandra, A., Chandrasekara, D., Nodine, M.: Capability-based agent matchmaking. In: Sierra, C., Gini, M., Rosenschein, J.S. (eds.) Proceedings of the Fourth International Conference on Autonomous Agents, Barcelona, Catalonia, Spain, pp. 201\u2013202. ACM Press, New York (2000)"},{"key":"10_CR11","unstructured":"Friedman-Hill, E.: Jess in Action. Manning Publications Company (2003)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/191839.191850","volume-title":"Proceedings of the 1994 ACM SIGMOD international conference on Management of data","author":"A. Zhang","year":"1994","unstructured":"Zhang, A., Nodine, M., Bhargava, B., Bukhres, O.: Ensuring relaxed atomicity for flexible transactions in multidatabase systems. In: Proceedings of the 1994 ACM SIGMOD international conference on Management of data, Minneapolis, Minnesota, United States, pp. 67\u201378. ACM Press, New York (1994)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Garcia-Molina, H., Salem, K.: SAGAs. In: ACM SIGMOD Conference on Management of Data (1987)","DOI":"10.1145\/38713.38742"},{"issue":"1","key":"10_CR14","first-page":"4","volume":"18","author":"A. Reuter","year":"1995","unstructured":"Reuter, A., Schwenkreis, F.: Contracts - a low-level mechanism for building general-purpose workflow management-systems. Data Engineering Bulletin\u00a018(1), 4\u201310 (1995)","journal-title":"Data Engineering Bulletin"},{"key":"10_CR15","volume-title":"Third International Conference on Principles of Knowledge Representation and Reasoning","author":"A.S. Rao","year":"1992","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Third International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, San Francisco (1992)"},{"key":"10_CR16","unstructured":"Busetta, P., Bailey, J., Ramamohanarao, K.: A reliable computational model for BDI agents. In: 1st International Workshop on Safe Agents. Held in conjunction with AAMAS 2003 (2003)"},{"key":"10_CR17","first-page":"11","volume-title":"13th IEEE International Conference on Tools with Artificial Intelligence, Dallas","author":"K. Ramamohanarao","year":"2001","unstructured":"Ramamohanarao, K., Bailey, J., Busetta, P.: Transaction oriented computational models for multi-agent systems. In: 13th IEEE International Conference on Tools with Artificial Intelligence, Dallas, pp. 11\u201317. IEEE Press, Los Alamitos (2001)"},{"key":"10_CR18","unstructured":"Smith, V.: Transaction oriented computational models for multi-agent systems. Internal Report. University of Melbourne (2003)"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Busetta, P., Ramamohanarao, K.: An architecture for mobile BDI agents. In: 1998 ACM Symposium on Applied Computing (1998)","DOI":"10.1145\/330560.330854"},{"key":"10_CR20","unstructured":"Nagi, K., Nimis, J., Lockemann, P.: Transactional support for cooperation in multiagent-based information systems. In: Proceedings of the Joint Conference on Distributed Information Systems on the basis of Objects, Components and Agents, Bamberg (2001)"},{"key":"10_CR21","unstructured":"Nagi, K., Lockemann, P.: Implementation model for agents with layered architecture in a transactional database environment. In: AOIS 1999 (1999)"},{"key":"10_CR22","unstructured":"Morley, D., Myers, K.: The SPARK agent framework. In: AAMAS 2004, NY (2004)"},{"issue":"1-2","key":"10_CR23","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo de","year":"2000","unstructured":"de Giacomo, G., Lesperance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell.\u00a0121(1-2), 109\u2013169 (2000)","journal-title":"Artif. Intell."},{"key":"10_CR24","unstructured":"Parsons, S., Klein, M.: Towards robust multi-agent systems: Handling communication exceptions in double auctions. Submitted to The 2004 Conference on Autonomous Agents and Multi-Agent Systems (2004)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Chen, Q., Dayal, U.: Multi-agent cooperative transactions for e-commerce. In: Conference on Cooperative Information Systems, pp. 311\u2013322 (2000)","DOI":"10.1007\/10722620_29"},{"key":"10_CR26","unstructured":"Strandens, T., Karlsen, R.: Transaction compensation in web services. In: Norsk Informatikkonferanse (2002)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Alonso, G., Agrawal, D., El Abbadi, A., Kamath, M., Gunthor, R., Mohan, C.: Advanced transaction models in workflow contexts. In: ICDE (1996)","DOI":"10.1109\/ICDE.1996.492208"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Casati, F.: A discussion on approaches to handling exceptions in workflows. SIGGROUP Bulletin\u00a020(3) (1999)","DOI":"10.1145\/605610.605611"},{"key":"10_CR29","unstructured":"Rusinkiewicz, M., Sheth, A.P.: Specification and execution of transactional workflows. Modern Database Systems: The Object Model, Interoperability, and Beyond, 592\u2013620 (1995)"}],"container-title":["Lecture Notes in Computer Science","Safety and Security in Multiagent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04879-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T17:36:52Z","timestamp":1558546612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04879-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048784","9783642048791"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04879-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}