Smart usage of Mobile Phones Sensors within an Event Calculus Engine.
Valerio MazzaMichele SolimandoPublished in: PAI@AI*IA (2013)
Keyphrases
- mobile phone
- event calculus
- reasoning about actions and change
- situation calculus
- temporal reasoning
- reasoning tasks
- partially ordered
- deductive databases
- domain specific knowledge
- transitive closure
- mobile users
- mobile devices
- smart phones
- sensor networks
- mobile learning
- home environments
- text entry
- mobile technologies
- sensor data
- mobile applications
- directed acyclic graph
- spatial databases
- database
- temporal information
- background knowledge
- short messages
- expert systems