Spatiotemporal reasoning for smart homes

Authors:
Björn Gottfried;Hans W. Guesgen;Sebastian Hübner
Affiliations:
Artificial Intelligence Group, Centre for Computing Technologies (TZI), Universität Bremen;Computer Science Department, University of Auckland;Artificial Intelligence Group, Centre for Computing Technologies (TZI), Universität Bremen
Venue:
Designing Smart Homes
Year:
2006

Citing 14
Cited 9

Computational geometry: an introduction

Computational geometry: an introduction
Navigation and mapping in large-scale space

AI Magazine
Temporal reasoning based on semi-intervals

Artificial Intelligence
Computational geometry: algorithms and applications

Computational geometry: algorithms and applications
Maintaining knowledge about temporal intervals

Communications of the ACM
Qualitative Representation of Spatial Knowledge

Qualitative Representation of Spatial Knowledge
Constraint Networks of Topological Relations and Convexity

Constraints
Fuzzifying spatial relations

Applying soft computing in defining spatial relations
Qualitative vs. Fuzzy Represenations of Spatial Distance

Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
Qualitative Spatio-Temporal Continuity

COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Robotic mapping: a survey

Exploring artificial intelligence in the new millennium
Reasoning about temporal relations: The tractable subalgebras of Allen's interval algebra

Journal of the ACM (JACM)
Qualitative Spatial Representation and Reasoning: An Overview

Fundamenta Informaticae - Qualitative Spatial Reasoning
A qualitative model for space

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

Artificial intelligence on the body, in the home, and beyond

BodyNets '08 Proceedings of the ICST 3rd international conference on Body area networks
Qualitative Spatial Scene Modeling for Ambient Intelligence Environments

ICIRA '08 Proceedings of the First International Conference on Intelligent Robotics and Applications: Part I
Review: Ambient intelligence: Technologies, applications, and opportunities

Pervasive and Mobile Computing
Towards Ontology-Based Formal Verification Methods for Context Aware Systems

Pervasive '09 Proceedings of the 7th International Conference on Pervasive Computing
Ambient Compass: One Approach to Model Spatial Relations

ICDHM '09 Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009
A framework for utilizing qualitative spatial relations between networked embedded systems

Pervasive and Mobile Computing
Learning patterns in ambient intelligence environments: a survey

Artificial Intelligence Review
Review: Situation identification techniques in pervasive computing: A review

Pervasive and Mobile Computing
Formal verification of context and situation models in pervasive computing

Pervasive and Mobile Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

An important aspect in smart homes is the ability to reason about space and time. Certain things have to be done at certain times or at certain places, or they have to be done in relation with other things. For example, it might be necessary to switch on the lights in a room during the night and while a person is present in that room, but not if the room is the bedroom and the person is asleep. In this chapter, we discuss several AI-techniques for dealing with temporal and spatial knowledge in smart homes, mainly focussing on qualitative approaches to spatiotemporal reasoning.