{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T23:10:01Z","timestamp":1743203401895,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307782"},{"type":"electronic","value":"9783642307799"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30779-9_23","type":"book-chapter","created":{"date-parts":[[2012,5,28]],"date-time":"2012-05-28T01:28:21Z","timestamp":1338168501000},"page":"182-189","source":"Crossref","is-referenced-by-count":5,"title":["ACARP: Auto Correct Activity Recognition Rules Using Process Analysis Toolkit (PAT)"],"prefix":"10.1007","author":[{"given":"Vwen Yen","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clifton","family":"Phua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kelvin","family":"Sim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaqi","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jit","family":"Biswas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mounir","family":"Mokhtari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Drools Verifier, http:\/\/community.jboss.org\/wiki\/DroolsVerifier"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Antoniou, G.: Rule-based activity recognition in ambient intelligence. In: RuleML, p.\u00a01 (2011)","DOI":"10.1007\/978-3-642-22546-8_1"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-642-13778-5_20","volume-title":"Aging Friendly Technology for Health and Independence","author":"J. Biswas","year":"2010","unstructured":"Biswas, J., Mokhtari, M., Dong, J.S., Yap, P.: Mild Dementia Care at Home \u2013 Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification. In: Lee, Y., Bien, Z.Z., Mokhtari, M., Kim, J.T., Park, M., Kim, J., Lee, H., Khalil, I. (eds.) ICOST 2010. LNCS, vol.\u00a06159, pp. 160\u2013170. Springer, Heidelberg (2010)"},{"key":"23_CR4","unstructured":"Community, J.: Drools expert guide, http:\/\/www.jboss.org\/drools\/drools-expert"},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1814539.1814551","volume":"10","author":"A. Coronato","year":"2010","unstructured":"Coronato, A., Pietro, G.D.: Formal specification of wireless and pervasive healthcare applications. ACM Trans. Embed. Comput. Syst.\u00a010, 12:1\u201312:18 (2010)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"273","DOI":"10.4018\/978-1-60566-402-6.ch012","volume-title":"Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches","author":"A. Ligeza","year":"2009","unstructured":"Ligeza, A., Nalepa, G.J.: Rules Verification and Validation. In: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, pp. 273\u2013301. IGI Global, Hershey (2009)"},{"issue":"02","key":"23_CR7","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S026988890000624X","volume":"7","author":"A.D. Preece","year":"1992","unstructured":"Preece, A.D., Shinghal, R., Batarekh, A.: Principles and practice in verifying rule-based systems. The Knowledge Engineering Review\u00a07(02), 115\u2013141 (1992)","journal-title":"The Knowledge Engineering Review"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Storf, H., Becker, M., Riedl, M.: Rule-based activity recognition framework: Challenges, technique and learning. In: PervasiveHealth, pp. 1\u20137 (2009)","DOI":"10.4108\/ICST.PERVASIVEHEALTH2009.6108"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Sun, J., Liu, Y., Dong, J.S., Chen, C.: Integrating specification and programs for system modeling and verification. In: TASE, pp. 127\u2013135 (2009)","DOI":"10.1109\/TASE.2009.32"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/978-3-642-02658-4_59","volume-title":"Computer Aided Verification","author":"J. Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: Towards Flexible Verification under Fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 709\u2013714. Springer, Heidelberg (2009)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Zhu, J., Lee, V.Y., Biswas, J., Mokhtari, M., Tiberghien, T., Aloulou, H.: Context-aware reasoning engine with high level knowledge for smart home. In: PECCS, pp. 292\u2013297 (2011)","DOI":"10.5220\/0003396202920297"}],"container-title":["Lecture Notes in Computer Science","Impact Analysis of Solutions for Chronic Disease Prevention and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30779-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T22:43:31Z","timestamp":1743201811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30779-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307782","9783642307799"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30779-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}