{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T05:27:40Z","timestamp":1736486860856,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540359944"},{"type":"electronic","value":"9783540359951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11788485_3","type":"book-chapter","created":{"date-parts":[[2006,6,30]],"date-time":"2006-06-30T20:33:18Z","timestamp":1151699598000},"page":"35-56","source":"Crossref","is-referenced-by-count":2,"title":["Temporal Constraints with Multiple Granularities in Smart Homes"],"prefix":"10.1007","author":[{"given":"Carlo","family":"Combi","sequence":"first","affiliation":[]},{"given":"Rosalba","family":"Rossato","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"891","DOI":"10.1007\/978-3-540-30121-9_85","volume-title":"Embedded and Ubiquitous Computing","author":"P.G. Argyroudis","year":"2004","unstructured":"Argyroudis, P.G., O\u2019Mahony, D.: Securing communications in the smart home. In: Yang, L.T., Guo, M., Gao, G.R., Jha, N.K. (eds.) EUC 2004. LNCS, vol.\u00a03207, pp. 891\u2013902. Springer, Heidelberg (2004)"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artmed.2004.07.006","volume":"33","author":"J.C. Augusto","year":"2005","unstructured":"Augusto, J.C.: Temporal reasoning for decision support in medicine. Artificial Intelligence in Medicine\u00a033(1), 1\u201324 (2005)","journal-title":"Artificial Intelligence in Medicine"},{"key":"3_CR3","first-page":"778","volume-title":"16th Eureopean Conference on Artificial Intelligence (ECAI 2004)","author":"J.C. Augusto","year":"2004","unstructured":"Augusto, J.C., Nugent, C.D.: The use of temporal reasoning and management of complex events in smart homes. In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) 16th Eureopean Conference on Artificial Intelligence (ECAI 2004), pp. 778\u2013782. IOS Press, Amsterdam (2004)"},{"key":"3_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04228-1","volume-title":"Time granularities in Databases, Data Mining, and Temporal Reasoning","author":"C. Bettini","year":"2000","unstructured":"Bettini, C., Jajodia, S., Wang, X.S.: Time granularities in Databases, Data Mining, and Temporal Reasoning. Springer, Heidelberg (2000)"},{"issue":"1\u20134","key":"3_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1023\/A:1016686623228","volume":"30","author":"C. Bettini","year":"2000","unstructured":"Bettini, C., De Sibi, R.: Symbolic representation of user-defined time granularities. Annals of Mathematics and Atificial Intelligence\u00a030(1\u20134), 53\u201392 (2000)","journal-title":"Annals of Mathematics and Atificial Intelligence"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/BFb0028779","volume-title":"Computer Aided Verification","author":"M. Bozga","year":"1998","unstructured":"Bozga, M., Daws, C., Maler, O., Olivero, A., Tripakis, S., Yovine, S.: KRONOS: A Model-Checking Tool for Real-Time Systems. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 546\u2013550. Springer, Heidelberg (1998)"},{"issue":"2","key":"3_CR7","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"},{"key":"3_CR8","first-page":"264","volume-title":"International Conference on Data Engineering","author":"R. Chandra","year":"1994","unstructured":"Chandra, R., Sergev, A., Stonebraker, M.: Implementing calendars and temporal rules in next generation databases. In: Elmagarmid, A.K., Neuhold, E. (eds.) International Conference on Data Engineering, pp. 264\u2013273. IEEE Computer Society Press, Los Alamitos (1994)"},{"issue":"1-2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1023\/A:1015851820698","volume":"36","author":"L. Chittaro","year":"2002","unstructured":"Chittaro, L., Combi, C.: Temporal granularity and indeterminacy in reasoning about actions and change: An approach based on the event calculus. Annals of Mathematics and Artificial Intelligence\u00a036(1-2), 81\u2013119 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1111\/j.1467-8640.1996.tb00267.x","volume":"12","author":"L. Chittaro","year":"1996","unstructured":"Chittaro, L., Montanari, A.: Efficient temporal reasoning in the cached event calculus. Computational Intelligence\u00a012, 359\u2013382 (1996)","journal-title":"Computational Intelligence"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0167-6423(93)90025-K","volume":"20","author":"E. Ciapessoni","year":"1993","unstructured":"Ciapessoni, E., Corsetti, E., Montanari, A., Pietro, P.S.: Embedding time grnaularity in a logical specification language for synchronous real-time systems. Science of Computer Programming\u00a020, 141\u2013171 (1993)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transaction on Programming Languages Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transaction on Programming Languages Systems"},{"key":"3_CR13","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"3_CR14","unstructured":"Clifford, J., Rao, A.: A simple, general structure for temporal domains. In: Temporal Aspects in Information Systems, pp. 17\u201328. North-Holland\/Elsevier (1987)"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1109\/TIME.2002.1027486","volume-title":"9th International Symposium on Temporal Representation and Reasoning, (TIME 2002)","author":"C. Combi","year":"2002","unstructured":"Combi, C., Franceschet, M., Peron, A.: A logical approach to represent and reason about calendars. In: 9th International Symposium on Temporal Representation and Reasoning (TIME 2002), pp. 134\u2013140. IEEE Computer Society, Los Alamitos (2002)"},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1093\/logcom\/14.1.51","volume":"14","author":"C. Combi","year":"2004","unstructured":"Combi, C., Franceschet, M., Peron, A.: Representing and reasoning about temporal granularities. Journal of Logic and Computation\u00a014(1), 51\u201377 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1109\/TIME.2005.10","volume-title":"12th International Symposium on Temporal Representation and Reasoning (TIME 2005)","author":"C. Combi","year":"2005","unstructured":"Combi, C., Montanari, A., Rossato, R.: A uniform algebraic characterization of temporal functional dependencies. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 91\u201399. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"864","DOI":"10.1007\/978-3-540-30075-5_83","volume-title":"Database and Expert Systems Applications","author":"C. Combi","year":"2004","unstructured":"Combi, C., Rossato, R.: Temporal functional dependencies with multiple granularities: A logic based approach. In: Galindo, F., Takizawa, M., Traunm\u00fcller, R. (eds.) DEXA 2004. LNCS, vol.\u00a03180, pp. 864\u2013873. Springer, Heidelberg (2004)"},{"key":"3_CR19","first-page":"995","volume-title":"Handbook of Theoretical Computer Science, ch. 16","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, ch. 16, vol.\u00a0B, pp. 995\u20131072. MIT Press, Cambridge (1990)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science. Formal Models and Sematics (B), vol.\u00a0B, pp. 995\u20131072 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"3_CR21","first-page":"367","volume-title":"Proceedings of the American National Conference on Artificial Intelligence (AAAI)","author":"D. Foster","year":"1986","unstructured":"Foster, D., Leban, B., McDonald, D.: A representation for collections of temporal intervals. In: Proceedings of the American National Conference on Artificial Intelligence (AAAI), pp. 367\u2013371. Morgan Kaufmann, San Francisco (1986)"},{"issue":"3-4","key":"3_CR22","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1023\/A:1024643624349","volume":"1","author":"M. Franceschet","year":"2003","unstructured":"Franceschet, M., Montanari, A.: Branching within time: an expressively complete and elementarily decidable temporal logic for time granularity. Journal of Language and Computation\u00a01(3-4), 229\u2013263 (2003)","journal-title":"Journal of Language and Computation"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1007\/978-3-540-27817-7_138","volume-title":"Computers Helping People with Special Needs","author":"M. Ghorbel","year":"2004","unstructured":"Ghorbel, M., Segarra, M.-T., Kerdreux, J., Keryell, R., Thepaut, A., Mokhtari, M.: Networking and communication in smart home for people with disabilities. In: Miesenberger, K., Klaus, J., Zagler, W.L., Burger, D. (eds.) ICCHP 2004. LNCS, vol.\u00a03118, pp. 937\u2013944. Springer, Heidelberg (2004)"},{"key":"3_CR24","first-page":"432","volume-title":"Proc. of International Joint Conference on Artificial Intelligence","author":"J.R. Hobbs","year":"1985","unstructured":"Hobbs, J.R.: Granularity. In: Proc. of International Joint Conference on Artificial Intelligence, pp. 432\u2013435. Morgan Kaufmann, San Francisco (1985)"},{"key":"3_CR25","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2004","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison Wesley Professional, Reading (2004)"},{"issue":"3","key":"3_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/140979.140996","volume":"21","author":"C.S. Jensen","year":"1992","unstructured":"Jensen, C.S., Snodgrass, R.T., Clifford, J., Gadia, S.K., Sergev, A.: A glossary of temporal databases concepts. SIGMOD Record\u00a021(3), 35\u201343 (1992)","journal-title":"SIGMOD Record"},{"issue":"1-2","key":"3_CR27","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1023\/A:1008758922521","volume":"13","author":"E.T. Keravnou","year":"1999","unstructured":"Keravnou, E.T.: A multidimensional and multigranular model of time for medical knowledge-based systems. Journal of Intelligent Information Systems (JIIS)\u00a013(1-2), 73\u2013120 (1999)","journal-title":"Journal of Intelligent Information Systems (JIIS)"},{"issue":"1","key":"3_CR28","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(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"3_CR29","first-page":"360","volume-title":"Proceedings of the American National Conference on Artificial Intelligence (AAAI)","author":"P.B. Ladkin","year":"1986","unstructured":"Ladkin, P.B.: Time representation: A taxonomy of internal relations. In: Proceedings of the American National Conference on Artificial Intelligence (AAAI), pp. 360\u2013366. Morgan Kaufmann, San Francisco (1986)"},{"key":"3_CR30","first-page":"234","volume-title":"American National Conference on Artificial Intelligence (AAAI 1987)","author":"P.B. Ladkin","year":"1987","unstructured":"Ladkin, P.B.: Models of axioms for time intervals. In: American National Conference on Artificial Intelligence (AAAI 1987), pp. 234\u2013239. Morgan Kaufmann, San Francisco (1987)"},{"key":"3_CR31","unstructured":"Montanari, A.: Metric and layered temporal logic for time granularity. ILLC Dissertation Series 1996-02, Institute for Logic, Language and Computation, University of Amsterdam (1996)"},{"key":"3_CR32","first-page":"702","volume-title":"Proc. of International Conference on Fifth Generation Computer Systems","author":"A. Montanari","year":"1992","unstructured":"Montanari, A., Maim, E., Ciapessoni, E., Ratto, E.: Dealing with time granularity in the event calculus. In: Proc. of International Conference on Fifth Generation Computer Systems, pp. 702\u2013712. IOS Press, Amsterdam (1992)"},{"issue":"1","key":"3_CR33","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/jigpal\/7.1.79","volume":"7","author":"A. Montanari","year":"1999","unstructured":"Montanari, A., Peron, A., Policriti, A.: Decidable theories of \u03c9-layered metric temporal structures. Logic Journal of the IGPL\u00a07(1), 79\u2013102 (1999)","journal-title":"Logic Journal of the IGPL"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1093\/logcom\/12.4.641","volume":"12","author":"A. Montanari","year":"2002","unstructured":"Montanari, A., Peron, A., Policriti, A.: Extending Kamp\u2019s theorem to model time granularity. Journal of Logic and Computation\u00a012, 641\u2013677 (2002)","journal-title":"Journal of Logic and Computation"},{"key":"3_CR35","series-title":"Lecture Notes in Computer Science","first-page":"161","volume-title":"Information and Knowledge Management","author":"M. Niezette","year":"1993","unstructured":"Niezette, M., Stevenne, J.: An efficient symbolic representation of periodic time. In: Finin, T.W., Yesha, Y., Nicholas, C. (eds.) CIKM 1992. LNCS, vol.\u00a0752, pp. 161\u2013168. Springer, Heidelberg (1993)"},{"key":"3_CR36","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1015835418881","volume":"36","author":"P. Ning","year":"2002","unstructured":"Ning, P., Jajodia, S., Wang, X.S.: An algebraic representation of calendars. Annals of Mathematics and Artificial Intelligence\u00a036, 5\u201338 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"3_CR37","doi-asserted-by":"crossref","first-page":"67","DOI":"10.7551\/mitpress\/4298.003.0017","volume-title":"Twelfth International Conference on Logic Programming","author":"F. Sadri","year":"1995","unstructured":"Sadri, F., Kowalski, R.A.: Variants of the event calculus. In: Twelfth International Conference on Logic Programming, pp. 67\u201381. MIT Press, Cambridge (1995)"},{"key":"3_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/3-540-57507-3_10","volume-title":"Advanced Database Systems","author":"A. Segev","year":"1993","unstructured":"Segev, A., Chandra, R.: A data model for time-series analysis. In: Adam, N.R., Bhargava, B.K. (eds.) Advanced Database Systems. LNCS, vol.\u00a0759, pp. 191\u2013212. Springer, Heidelberg (1993)"},{"issue":"1-2","key":"3_CR39","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0004-3702(96)00025-2","volume":"90","author":"Y. Shahar","year":"1997","unstructured":"Shahar, Y.: A framework for knowledge-based temporal abstraction. Artificial Intelligence\u00a090(1-2), 79\u2013133 (1997)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"3_CR40","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A.P. Sistla","year":"1985","unstructured":"Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logics. Journal of the ACM\u00a032(3), 733\u2013749 (1985)","journal-title":"Journal of the ACM"},{"issue":"5","key":"3_CR41","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1109\/69.634754","volume":"9","author":"P. Terenziani","year":"1997","unstructured":"Terenziani, P.: Integrating calendar dates and qualitative temporal constraints in the treatment of periodic events. IEEE Transaction on Knowledge and Data Engineering\u00a09(5), 763\u2013783 (1997)","journal-title":"IEEE Transaction on Knowledge and Data Engineering"},{"key":"3_CR42","doi-asserted-by":"crossref","unstructured":"Wang, T.-S.: When smart home meets pervasive healthcare services using mobile devices and sensor networks - status and issues. In: Most\u00e9faoui, S.K., Maamar, Z. (eds.) 2nd International Workshop on Ubiquitous Computing (IWUC 2005), pp. 67\u201374. INSTICC Press (2005)","DOI":"10.5220\/0002560300670074"},{"issue":"2","key":"3_CR43","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/249978.249979","volume":"22","author":"X.S. Wang","year":"1997","unstructured":"Wang, X.S., Bettini, C., Brodsky, A., Jajodia, S.: Logical design for temporal databases with multiple granularities. ACM Transaction on Database Systems\u00a022(2), 115\u2013170 (1997)","journal-title":"ACM Transaction on Database Systems"},{"issue":"7","key":"3_CR44","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1016\/S0306-4379(98)00023-4","volume":"23","author":"J. Wijsen","year":"1998","unstructured":"Wijsen, J.: Reasoning about qualitative trends in databases. Information Systems\u00a023(7), 469\u2013493 (1998)","journal-title":"Information Systems"},{"issue":"1","key":"3_CR45","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1145\/310701.310715","volume":"24","author":"J. Wijsen","year":"1999","unstructured":"Wijsen, J.: Temporal FDs on complex objects. ACM Transactions on Database Systems\u00a024(1), 127\u2013176 (1999)","journal-title":"ACM Transactions on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Designing Smart Homes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11788485_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T17:13:28Z","timestamp":1736442808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11788485_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540359944","9783540359951"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/11788485_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}