{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T07:18:39Z","timestamp":1744183119314},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540299226"},{"type":"electronic","value":"9783540322702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11580072_19","type":"book-chapter","created":{"date-parts":[[2005,10,21]],"date-time":"2005-10-21T12:04:50Z","timestamp":1129896290000},"page":"209-217","source":"Crossref","is-referenced-by-count":16,"title":["ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements"],"prefix":"10.1007","author":[{"given":"Adrian","family":"Paschke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Bichler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Dietrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Bichler, M., Diernhofer, N., Fay, F., K\u00f6nig, C., MacWilliams, A., Paschke, A., Setzer, T., V\u00f6lk, G.: Dynamic Value Webs for IT-Services: IT-Service Technologies and Management. Siemens SBS \/ TUM, research study, Munich (10\/2004)"},{"key":"19_CR2","unstructured":"Paschke, A., Bichler, M.: Rule-based Languages for the Representation of Electronic Contracts - A concept for using Knowledge-based Systems in the Development of flexible Internet-based Information Systems (in german language) IBIS, TUM (Working Paper) (April 04 2003)"},{"key":"19_CR3","unstructured":"Paschke, A.: Rule Based SLA Management - A rule based approach on automated IT service management (in german language) (Working Paper) IBIS, TUM (June 6 2004)"},{"key":"19_CR4","unstructured":"Dietrich, J., Paschke, A.: On the Test-Driven Development and Validation of Business Rules. In: ISTA 2005 (2005)"},{"key":"19_CR5","unstructured":"Paschke, A., Bichler, M.: SLA Representation, Management and Enforcement - Combining Event Calculus, Deontic Logic, Horn Logic and Event Condition Action Rules. In: EEE 2005, Hong Kong, China (2005)"},{"key":"19_CR6","unstructured":"Paschke, A.: ContractLog - A Logic Framework for SLA Representation, Management and Enforcement, IBIS, TUM (July 7 2004)"},{"key":"19_CR7","unstructured":"Paschke, A.: RBSLA: Rule-based SLA (2005), \n                  \n                    http:\/\/ibis.in.tum.de\/staff\/paschke\/rbsla\/index.htm"},{"key":"19_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-540-30132-5_65","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"J. Dietrich","year":"2004","unstructured":"Dietrich, J.: A Rule-Based System for eCommerce Applications. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds.) KES 2004. LNCS (LNAI), vol.\u00a03213, pp. 455\u2013463. Springer, Heidelberg (2004)"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"19_CR10","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Nute","year":"1994","unstructured":"Nute, D.: Defeasible Logic. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, Oxford University Press, Oxford (1994)"},{"key":"19_CR11","unstructured":"Grosof, B.N.: A Courteous Compiler From Generalized Courteous Logic Programs To Ordinary Logic Progams. IBM (1999)"},{"key":"19_CR12","unstructured":"Antoniou, G., et al.: A flexible framework for defeasible logics. In: AAAI 2000(2000)"},{"key":"19_CR13","unstructured":"Levy, A., Rousset, M.-C.: A Representation Language Combining Horn Rules and Description Logics. In: ECAI 1996 (1996)"},{"key":"19_CR14","volume-title":"WWW 2003","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., et al.: Description Logic Programs: Combining Logic Programs with Description Logic. In: WWW 2003, ACM, New York (2003)"},{"key":"19_CR15","unstructured":"Kozlenkov, A., Schroeder, M.: Prova (2004), \n                  \n                    http:\/\/comas.soi.city.ac.uk\/prova\/"},{"key":"19_CR16","unstructured":"Wagner, G., Tabet, S., Boley, H.: MOF-RuleML: The abstract syntax of RuleML as a MOF model. In: OMG Meeting (2003)"}],"container-title":["Lecture Notes in Computer Science","Rules and Rule Markup Languages for the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11580072_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:45:33Z","timestamp":1619505933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11580072_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540299226","9783540322702"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11580072_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}