Temporal constraints with multiple granularities in Smart Homes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4008 LNAI, Issue , 2006, Pages 35-56

  Combi, Carlo ^a   Rossato, Rosalba ^a  

^a UNIVERSITY OF VERONA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT BUILDINGS;

LOGIC-BASED APPROACH; MULTIPLE TIME GRANULARITY; SMART HOMES; TEMPORAL CONSTRAINTS; TIME GRANULARITIES; TIME INTERVAL; TIME POINTS;

AUTOMATION;

EID: 37249079311     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11788485_3     Document Type: Article

References (45)

1. P. G. Argyroudis and D. O'Mahony. Securing communications in the smart home. In L.T. Yang, M. Guo, G.R. Gao, and N.K. Jha, editors, International Conference on Embedded and Ubiquitous Computing, volume 3207 of LNCS, pages 891-902. Springer, 2004.
2. J. C. Augusto. Temporal reasoning for decision support in medicine. Artificial Intelligence in Medicine, 33(1):1-24, 2005.
3. J. C. Augusto and C. D. Nugent. The use of temporal reasoning and management of complex events in smart homes. In Ramon López de Mantaras and Lorenza Saitta, editors, 16th Eureopean Conference on Artificial Intelligence (ECAI'2004), pages 778-782. IOS Press, 2004.
4. C. Bettini, S. Jajodia, and X. S. Wang. Time granularities in Databases, Data Mining, and Temporal Reasoning. Springer, 2000.
5. C. Bettini and R. De Sibi. Symbolic representation of user-defined time granularities. Annals of Mathematics and Atificial Intelligence, 30(1-4):53-92, 2000.
6. M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. KRONOS: A Model-Checking Tool for Real-Time Systems. In 10th International Conference on Computer Aided Verification (CAV '98), volume 1427 of LNCS, pages 546-550. Springer, 1998.
7. I. Cervesato, M. Franceschet, and A. Montanari. A guided tour through some extensions of the event calculus. Computational Intelligence, 16(2):307-347, 2000.
8. R. Chandra, A. Sergev, and M. Stonebraker. Implementing calendars and temporal rules in next generation databases. In A.K. Elmagarmid and E. Neuhold, editors, International Conference on Data Engineering, pages 264-273. IEEE Computer Society Press, 1994.
9. L. Chittaro and C. Combi. Temporal granularity and indeterminacy in reasoning about actions and change: An approach based on the event calculus. Annals of Mathematics and Artificial Intelligence, 36(1-2):81-119, 2002.
10. Luca Chittaro and Angelo Montanari. Efficient temporal reasoning in the cached event calculus. Computational Intelligence, 12:359-382, 1996.
11. E. Ciapessoni, E. Corsetti, A. Montanari, and P.S. Pietro. Embedding time grnaularity in a logical specification language for synchronous real-time systems. Science of Computer Programming, 20:141-171, 1993.
12. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finitestate concurrent systems using temporal logic specifications. ACM Transaction on Programming Languages Systems, 8(2):244-263, 1986.
13. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 2000.
14. J. Clifford and A. Rao. A simple, general structure for temporal domains. In Temporal Aspects in Information Systems, pages 17-28. North-Holland/Elsevier, 1987.
15. C. Combi, M. Franceschet, and A. Peron. A logical approach to represent and reason about calendars. In 9th International Symposium on Temporal Representation and Reasoning, (TIME-2002), pages 134-140. IEEE Computer Society, 2002.
16. C. Combi, M. Franceschet, and A. Peron. Representing and reasoning about temporal granularities. Journal of Logic and Computation, 14(1):51-77, 2004.
17. C. Combi, A. Montanari, and R. Rossato. A uniform algebraic characterization of temporal functional dependencies. In 12th International Symposium on Temporal Representation and Reasoning (TIME-2005), pages 91-99. IEEE Computer Society Press, 2005.
18. C. Combi and R. Rossato. Temporal functional dependencies with multiple granularities: A logic based approach. In F. Galindo, M. Takizawa, and R. Traunmüller, editors, 15th International Conference on Database and Expert Systems Applications (DEXA 2004), volume 3180 of LNCS, pages 864-873. Springer, 2004.
19. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 995-1072. MIT Press, 1990.
20. E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pages 995-1072. 1990.
21. D. Foster, B. Leban, and D. McDonald. A representation for collections of temporal intervals. In Proceedings of the American National Conference on Artificial Intelligence (AAAI), pages 367-371. Morgan Kaufmann, 1986.
22. M. Franceschet and A. Montanari. Branching within time: an expressively complete and elementarily decidable temporal logic for time granularity. Journal of Language and Computation, 1(3-4):229-263, 2003.
23. M. Ghorbel, M.T. Segarra, J. Kerdreux, A. Thepaut, and M. Mokhtari. Networking and communication in smart home for people with disabilities. In 9th International Conference on Computers Helping People with Special Needs (ICCHP 2004), volume 3118 of LNCS, pages 937-944. Springer, 2004.
24. J. R. Hobbs. Granularity. In Proc. of International Joint Conference on Artificial Intelligence, pages 432-435. Morgan Kaufmann, 1985.
25. Gerard J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison Wesley Professional, 2004.
26. C. S. Jensen, R. T. Snodgrass, J. Clifford, S. K. Gadia, and A. Sergev. A glossary of temporal databases concepts. SIGMOD Record, 21(3):35-43, 1992.
27. E. T. Keravnou. A multidimensional and multigranular model of time for medical knowledge-based systems. Journal of Intelligent Information Systems (JIIS), 13(1-2):73-120, 1999.
28. R. A. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-95, 1986.
29. P. B. Ladkin. Time representation: A taxonomy of internal relations. In Proceedings of the American National Conference on Artificial Intelligence (AAAI), pages 360-366. Morgan Kaufmann, 1986.
30. P. B. Ladkin. Models of axioms for time intervals. In American National Conference on Artificial Intelligence (AAAI-1987), pages 234-239. Morgan Kaufmann, 1987.
31. A. Montanari. Metric and layered temporal logic for time granularity. ILLC Dissertation Series 1996-02, Institute for Logic, Language and Computation, University of Amsterdam, 1996.
32. A. Montanari, E. Maim, E. Ciapessoni, and E. Ratto. Dealing with time granularity in the event calculus. In Proc. of International Conference on Fifth Generation Computer Systems, pages 702-712. IOS Press, 1992.
33. A. Montanari, A. Peron, and A. Policriti. Decidable theories of ω-layered metric temporal structures. Logic Journal of the IGPL, 7(1):79-102, 1999.
34. A. Montanari, A. Peron, and A. Policriti. Extending Kamp's theorem to model time granularity. Journal of Logic and Computation, 12:641-677, 2002.
35. M. Niezette and J. Stevenne. An efficient symbolic representation of periodic time. In Proceedings of the International Conference on Information and Knowledge Management, volume 752 of LNCS, pages 161-168, Baltimore, Maryland, November 1993.
36. P. Ning, S. Jajodia, and X. S. Wang. An algebraic representation of calendars. Annals of Mathematics and Artificial Intelligence, 36:5-38, 2002.
37. F. Sadri and R. A. Kowalski. Variants of the event calculus. In Twelfth International Conference on Logic Programming, pages 67-81. MIT Press, 1995.
38. A. Segev and R. Chandra. A data model for time-series analysis. In N.R. Adam and B.K. Bhargava, editors, Advanced Database Systems, volume 759 of LNCS, pages 191-212, 1993.
39. Y. Shahar. A framework for knowledge-based temporal abstraction. Artificial Intelligence, 90(1-2):79-133, 1997.
40. A. P. Sistla and E. M. Clarke. The complexity of propositional linear temporal logics. Journal of the ACM, 32(3):733-749, 1985.
41. P. Terenziani. Integrating calendar dates and qualitative temporal constraints in the treatment of periodic events. IEEE Transaction on Knowledge and Data Engineering, 9(5):763-783, 1997.
42. Ti-Shiang Wang. When smart home meets pervasive healthcare services using mobile devices and sensor networks - status and issues. In Soraya Kouadri Mostéfaoui and Zakaria Maamar, editors, 2nd International Workshop on Ubiquitous Computing (IWUC 2005), pages 67-74. INSTICC Press, 2005.
43. X. S. Wang, C. Bettini, A. Brodsky, and S. Jajodia. Logical design for temporal databases with multiple granularities. ACM Transaction on Database Systems, 22(2):115-170, 1997.
44. J. Wijsen. Reasoning about qualitative trends in databases. Information Systems, 23(7):469-493, 1998.
45. J. Wijsen. Temporal FDs on complex objects. ACM Transactions on Database Systems, 24(1):127-176, 1999.