{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:20:32Z","timestamp":1725700832377},"publisher-location":"Berlin, Heidelberg","reference-count":32,"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_12","type":"book-chapter","created":{"date-parts":[[2012,8,22]],"date-time":"2012-08-22T12:25:29Z","timestamp":1345638329000},"page":"151-166","source":"Crossref","is-referenced-by-count":6,"title":["A Rule-Based Calculus and Processing of Complex Events"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Bragaglia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Sottara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Kowalski, R.A., Sadri, F.: Towards a Logic-based Production System Language. Technical report, Department of Computing, Imperial College London (2010)","key":"12_CR1"},{"key":"12_CR2","volume-title":"Artificial Intelligence: A Modern Approach","author":"S.J. Russell","year":"2003","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall, Upper Saddle River (2003)","edition":"2"},{"unstructured":"Simon, H.: Production Systems. The MIT Press (1999)","key":"12_CR3"},{"unstructured":"Thagard, P.: Mind: Introduction to cognitive science, 2nd edn. The MIT Press (2005)","key":"12_CR4"},{"unstructured":"Kowalski, R.A., Sadri, F.: Programming with logic without logic programming. Technical report, Department of Computing, Imperial College London (2012)","key":"12_CR5"},{"issue":"1","key":"12_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.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"doi-asserted-by":"crossref","unstructured":"Miller, R., Shanahan, M.: The event calculus in classical logic-alternative axiomatizations. Electronic Transactions on Artificial Intelligence\u00a04 (1999)","key":"12_CR7","DOI":"10.1007\/3-540-48317-9_17"},{"unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Stanford University (1968)","key":"12_CR8"},{"doi-asserted-by":"crossref","unstructured":"Sadri, F., Kowalski, R.A.: Variants of the event calculus. In: Proc. ICLP, vol.\u00a095, pp. 67\u201382 (1995)","key":"12_CR9","DOI":"10.7551\/mitpress\/4298.003.0017"},{"doi-asserted-by":"crossref","unstructured":"Shanahan, M.: The Event Calculus explained. Artificial Intelligence Today, 409\u2013430 (1999)","key":"12_CR10","DOI":"10.1007\/3-540-48317-9_17"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1016\/S1574-6526(07)03017-9","volume":"3","author":"E.T. Mueller","year":"2008","unstructured":"Mueller, E.T.: Event calculus. Foundations of Artificial Intelligence\u00a03, 671\u2013708 (2008)","journal-title":"Foundations of Artificial Intelligence"},{"issue":"1-2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0743-1066(92)90041-Z","volume":"12","author":"R.A. Kowalski","year":"1992","unstructured":"Kowalski, R.A.: Database updates in the event calculus. The Journal of Logic Programming\u00a012(1-2), 121\u2013146 (1992)","journal-title":"The Journal of Logic Programming"},{"issue":"2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1111\/0824-7935.00115","volume":"16","author":"I. Cervesato","year":"2000","unstructured":"Cervesato, I., Franceschet, M., Montanari, A.: A guided tour through some extensions of the event calculus. Computational Intelligence\u00a016(2), 307\u2013347 (2000)","journal-title":"Computational Intelligence"},{"unstructured":"Shanahan, M.: Solving the frame problem: a mathematical investigation of the common sense law of inertia. The MIT Press (1997)","key":"12_CR14"},{"unstructured":"Chittaro, L., Montanari, A.: Efficient handling of context-dependency in the Cached Event Calculus. In: Proc. of TIME 1994 - International Workshop on Temporal Representation and Reasoning, pp. 103\u2013112 (1994)","key":"12_CR15"},{"issue":"1","key":"12_CR16","doi-asserted-by":"crossref","first-page":"135","DOI":"10.3233\/FI-2010-361","volume":"105","author":"F. Chesani","year":"2010","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: A logic-based, reactive calculus of events. Fundamenta Informaticae\u00a0105(1), 135\u2013161 (2010)","journal-title":"Fundamenta Informaticae"},{"unstructured":"Shanahan, M.: Robotics and the common sense informatic situation, pp. 684\u2013688 (1996)","key":"12_CR17"},{"issue":"1-3","key":"12_CR18","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M. Shanahan","year":"2000","unstructured":"Shanahan, M.: An abductive event calculus planner. The Journal of Logic Programming\u00a044(1-3), 207\u2013240 (2000)","journal-title":"The Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"Mahbub, K., Spanoudakis, G.: Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. In: Proceedings. 2005 IEEE International Conference on Web Services, ICWS 2005, pp. 257\u2013265. IEEE (2005)","key":"12_CR19","DOI":"10.1109\/ICWS.2005.100"},{"issue":"2","key":"12_CR20","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s10257-008-0081-5","volume":"7","author":"M. Rouached","year":"2009","unstructured":"Rouached, M., Fdhila, W., Godart, C.: A semantical framework to engineering wsbpel processes. Information Systems and E-Business Management\u00a07(2), 223\u2013250 (2009)","journal-title":"Information Systems and E-Business Management"},{"issue":"2","key":"12_CR21","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/BF03037238","volume":"15","author":"A.A.A. Fernandes","year":"1997","unstructured":"Fernandes, A.A.A., Williams, M.H., Paton, N.W.: A logic-based integration of active and deductive databases. New Generation Computing\u00a015(2), 205\u2013244 (1997)","journal-title":"New Generation Computing"},{"issue":"15","key":"12_CR22","doi-asserted-by":"publisher","first-page":"2227","DOI":"10.1016\/j.ins.2005.10.007","volume":"176","author":"N.K. Cicekli","year":"2006","unstructured":"Cicekli, N.K., Cicekli, I.: Formalizing the specification and execution of workflows using the event calculus. Information Sciences\u00a0176(15), 2227\u20132267 (2006)","journal-title":"Information Sciences"},{"issue":"2-3","key":"12_CR23","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"A.D.H. Farrell","year":"2005","unstructured":"Farrell, A.D.H., Sergot, M.J., Sall\u00e9, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems\u00a014(2-3), 99\u2013129 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"unstructured":"Weske, M.: Business process management: concepts, languages, architectures. Springer (2010)","key":"12_CR24"},{"unstructured":"Ten Teije, A., Miksch, S., Lucas, P.: Computer-based medical guidelines and protocols: a primer and current trends, vol.\u00a0139. IOS Press (2008)","key":"12_CR25"},{"issue":"1","key":"12_CR26","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MIC.2005.21","volume":"9","author":"M.N. Huhns","year":"2005","unstructured":"Huhns, M.N., Singh, M.P.: Service-oriented computing: Key concepts and principles. IEEE Internet Computing\u00a09(1), 75\u201381 (2005)","journal-title":"IEEE Internet Computing"},{"unstructured":"Weiss, G.: Multiagent systems: a modern approach to distributed artificial intelligence. The MIT press (1999)","key":"12_CR27"},{"issue":"1","key":"12_CR28","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C.L. Forgy","year":"1982","unstructured":"Forgy, C.L.: RETE: A fast algorithm for the many pattern\/many object pattern match problem. Artificial Intelligence\u00a019(1), 17\u201337 (1982)","journal-title":"Artificial Intelligence"},{"unstructured":"Luckham, D.C.: The power of events: an introduction to complex event processing in distributed enterprise systems. Addison-Wesley (2001)","key":"12_CR29"},{"issue":"11","key":"12_CR30","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Communications of the ACM"},{"key":"12_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-3-642-16289-3_5","volume-title":"Semantic Web Rules","author":"S. Bragaglia","year":"2010","unstructured":"Bragaglia, S., Chesani, F., Mello, P., Sottara, D.: A Rule-Based Implementation of Fuzzy Tableau Reasoning. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol.\u00a06403, pp. 35\u201349. Springer, Heidelberg (2010)"},{"key":"12_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-642-24908-2_28","volume-title":"Rule-Based Modeling and Computing on the Semantic Web","author":"S. Bragaglia","year":"2011","unstructured":"Bragaglia, S., Chesani, F., Fry, E., Mello, P., Montali, M., Sottara, D.: Event condition expectation (ECE-) rules for monitoring observable systems. In: Palmirani, M. (ed.) RuleML - America 2011. LNCS, vol.\u00a07018, pp. 267\u2013281. Springer, Heidelberg (2011)"}],"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_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,28]],"date-time":"2024-04-28T15:58:34Z","timestamp":1714319914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32689-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642326882","9783642326899"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32689-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}