The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A logic-based calculus of events
New Generation Computing
Handbook of theoretical computer science (vol. B)
A glossary of temporal database concepts
ACM SIGMOD Record
Embedding time granularity in a logical specification language for synchronous real-time systems
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A framework for knowledge-based temporal abstraction
Artificial Intelligence
Logical design for temporal databases with multiple granularities
ACM Transactions on Database Systems (TODS)
Reasoning about qualitative trends in databases
Information Systems
Temporal FDs on complex objects
ACM Transactions on Database Systems (TODS)
A Multidimensional and Multigranular Model of Time for Medical Knowledge-Based Systems
Journal of Intelligent Information Systems - Special issue on integrating artificial intelligene and database technologies
Time Granularities in Databases, Data Mining and Temporal Reasoning
Time Granularities in Databases, Data Mining and Temporal Reasoning
Symbolic representation of user-defined time granularities
Annals of Mathematics and Artificial Intelligence
An Algebraic Representation of Calendars
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events
IEEE Transactions on Knowledge and Data Engineering
Implementing Calendars and Temporal Rules in Next Generation Databases
Proceedings of the Tenth International Conference on Data Engineering
A Data Model for Time-Series Analysis
Advanced Database Systems
Kronos: A Model-Checking Tool for Real-Time Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
A Logical Approach to Represent and Reason about Calendars
TIME '02 Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
A Uniform Algebraic Characterization of Temporal Functional Dependencies
TIME '05 Proceedings of the 12th International Symposium on Temporal Representation and Reasoning
Representing and Reasoning about Temporal Granularities
Journal of Logic and Computation
Temporal reasoning for decision support in medicine
Artificial Intelligence in Medicine
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Models of axioms for time intervals
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Second order ambient intelligence
Journal of Ambient Intelligence and Smart Environments
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Second order ambient intelligence
Journal of Ambient Intelligence and Smart Environments
| Hi-index | 0.00 |
In this chapter, we propose a logic-based approach to describe temporal constraints with multiple time granularities related to events occurring in Smart Homes. We identify a time granularity as a (possibly) infinite sequence of time points properly labeled with propositional symbols marking the starting and the ending points of each granule. In particular, sensor granularities describe time intervals during which Smart Home sensors are in the state “ON”. Both time and sensor granularities and temporal constraints are expressed by means of PPLTL formulae. Temporal constraints for Smart Home are satisfied when the specific relationships between time/sensor granularities, involved in the described constraints, hold.