{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:13:25Z","timestamp":1726409605272},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"},{"type":"electronic","value":"9783540729822"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-72982-2_22","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T09:29:37Z","timestamp":1182850177000},"page":"279-288","source":"Crossref","is-referenced-by-count":0,"title":["A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services"],"prefix":"10.1007","author":[{"given":"Marco","family":"Alberti","sequence":"first","affiliation":[]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"http:\/\/www.w3.org\/Submission\/SWSF-SWSL"},{"key":"22_CR2","unstructured":"OWL-S, \n                    \n                      http:\/\/www.daml.org\/services\/owl-s"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Rules and Rule Markup Languages for the Semantic Web","year":"2005","unstructured":"Adi, A., Stoutenburg, S., Tabet, S. (eds.): RuleML 2005. LNCS, vol.\u00a03791. Springer, Heidelberg (2005)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M.: An abductive framework for a-priori verification of web services. In: PPDP (2006)","DOI":"10.1145\/1140335.1140342"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"WS-FM 2006","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Storari, S., Torroni, P.: Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool. In: Bravetti, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, Springer, Heidelberg (2006)"},{"key":"22_CR6","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: Contracting for dynamic location of web services: specification and reasoning with SCIFF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC. LNCS, Springer, Heidelberg (to appear)"},{"key":"22_CR7","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logics. Accepted for publication."},{"issue":"2\u20133","key":"22_CR8","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10588-006-9544-8","volume":"12","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory\u00a012(2\u20133), 205\u2013225 (2006)","journal-title":"Computational and Mathematical Organization Theory"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/978-3-540-24572-8_2","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"J. Alferes","year":"2003","unstructured":"Alferes, J., Dam\u00e1sio, C., Pereira, L.: Semantic web logic programming tools. In: Bry, F., Henze, N., Ma\u0142uszy\u0144ski, J. (eds.) PPSWR 2003. LNCS, vol.\u00a02901, pp. 16\u201332. Springer, Heidelberg (2003)"},{"key":"22_CR10","unstructured":"Bhansali, S., Grosof, N.: Extending the sweetdeal approach for e-procurement using sweetrules and ruleml. In: Adi, et al.: [3]"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Bry, F., Eckert, M.: Twelve theses on reactive rules for the web. In: Proc. of the Workshop on Reactivity on the Web, Munich, Germany (March 2006)","DOI":"10.1007\/11896548_63"},{"issue":"3","key":"22_CR12","first-page":"251","volume":"1","author":"D. Gras","year":"2001","unstructured":"Gras, D., Hermenegildo, M.: Distributed WWW programming using CiaoProlog and the PiLLoW library. TPLP\u00a01(3), 251\u2013282 (2001)","journal-title":"TPLP"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\u201320","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming\u00a019\u201320, 503\u2013582 (1994)","journal-title":"Journal of Logic Programming"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"ISWC 2003","author":"L. Kagal","year":"2003","unstructured":"Kagal, L., Finin, T.W., Joshi, A.: A policy based approach to security for the semantic web. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, Springer, Heidelberg (2003)"},{"issue":"6","key":"22_CR15","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1993","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"22_CR16","unstructured":"Kifer, M., Lara, R., Polleres, A., Zhao, C., Keller, U., Lausen, H., Fensel, D.: A logical framework for web service discovery. In: ISWC Worshop, Hiroshima (2004)"},{"issue":"1-3","key":"22_CR17","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S0743-1066(99)00073-4","volume":"44","author":"C. Sakama","year":"2000","unstructured":"Sakama, C., Inoue, K.: Abductive logic programming and disjunctive logic programming: their relationship and transferability. Journal of Logic Programming\u00a044(1-3), 75\u2013100 (2000)","journal-title":"Journal of Logic Programming"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/978-3-540-30475-3_30","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"A. Uszok","year":"2004","unstructured":"Uszok, A., Bradshaw, J., Jeffers, R., Tate, A., Dalton, J.: Applying KAoS services to ensure policy compliance for semantic web services workflow composition and enactment. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 425\u2013440. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:54:08Z","timestamp":1558274048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540729815","9783540729822"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}