{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:20:54Z","timestamp":1725700854590},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642326882"},{"type":"electronic","value":"9783642326899"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32689-9_11","type":"book-chapter","created":{"date-parts":[[2012,8,22]],"date-time":"2012-08-22T12:25:29Z","timestamp":1345638329000},"page":"136-150","source":"Crossref","is-referenced-by-count":3,"title":["On the Algebraic Semantics of Reactive Rules"],"prefix":"10.1007","author":[{"given":"Katerina","family":"Ksystra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Triantafyllou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petros","family":"Stefaneas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Paschke, A., Boley, H.: Rules Capturing Events and Reactivity. In: Giurca, A., Gasevic, D., Taveter, K. (eds.) Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 215\u2013252. IGI Publishing (May 2009)","DOI":"10.4018\/978-1-60566-402-6.ch010"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-16289-3_15","volume-title":"Semantic Web Rules","author":"H. Boley","year":"2010","unstructured":"Boley, H., Paschke, A., Shafiq, O.: RuleML 1.0: The Overarching Specification of Web Rules. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol.\u00a06403, pp. 162\u2013178. Springer, Heidelberg (2010)"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Diaconescu, R.: Towards an Algebraic Semantics for the Object Paradigm. In: Ehrig, H., Orejas, F. (eds.) 10th Workshop on Abstract Data Types (1994)","DOI":"10.1007\/3-540-57867-6_1"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-39958-2_12","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"K. Ogata","year":"2003","unstructured":"Ogata, K., Futatsugi, K.: Proof Scores in the OTS\/CafeOBJ Method. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 170\u2013184. Springer, Heidelberg (2003)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Carlson, J., Lisper, B.: An event detection algebra for reactive systems. In: 4th ACM International Conference on Embedded Software (2004)","DOI":"10.1145\/1017753.1017779"},{"key":"11_CR6","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. J. New Generation Computing.\u00a04, 67\u201395 (1986)","journal-title":"J. New Generation Computing."},{"key":"11_CR7","unstructured":"McCarthy, J., Hayes, P.J.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Michie, D., Meltzer, B. (eds.) Machine Intelligence 4, pp. 463\u2013502. Edinburg University Press (1969)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theoretical Computer Science, 217\u2013273 (1992)","DOI":"10.1016\/0304-3975(92)90302-V"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2006.10.011","volume":"66","author":"K. Ogata","year":"2007","unstructured":"Ogata, K., Futatsugi, K.: Modeling and verification of real-time systems based on equations. Science of Computer Programming\u00a066, 162\u2013180 (2007)","journal-title":"Science of Computer Programming"},{"key":"11_CR10","unstructured":"Paschke, A., Kozlenkov, A., Boley, H.: A Homogeneous Reaction Rule Language for Complex Event Processing. In: VLDB 2007 (2007)"},{"key":"11_CR11","unstructured":"CafeOBJ Homepage, \n                    \n                      http:\/\/www.theta.ro\/cafeobj\/"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-540-69149-5_30","volume-title":"Verified Software: Theories, Tools, Experiments","author":"K. Futatsugi","year":"2008","unstructured":"Futatsugi, K., Babu, C. S., Ogata, K.: Verifying Design with Proof Scores. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol.\u00a04171, pp. 277\u2013290. Springer, Heidelberg (2008)"},{"key":"11_CR13","unstructured":"Maude Homepage, \n                    \n                      http:\/\/maude.cs.uiuc.edu\/"},{"key":"11_CR14","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support fot modularization. In: Second Annual Workshop on Logical Enviroments (1993)"},{"key":"11_CR15","unstructured":"Goguen, J., Malcolm, G.: A hidden agenda. Theoretical Computer Science (1996)"}],"container-title":["Lecture Notes in Computer Science","Rules on the Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32689-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:11:53Z","timestamp":1620130313000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32689-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642326882","9783642326899"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32689-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}