Modeling and verifying context-aware non-monotonic reasoning agents.
Abdur RakibHafiz Mahfooz Ul HaquePublished in: MEMOCODE (2015)
Keyphrases
- context aware
- contextual information
- ubiquitous computing
- context awareness
- mobile devices
- ambient intelligence
- mobile computing
- multi agent systems
- multi agent
- context aware mobile
- intelligent agents
- smart environments
- smart spaces
- context aware computing
- context aware systems
- ubiquitous environment
- personalized services
- ubiquitous learning
- ubiquitous computing environments
- context aware preferences
- current context
- software agents
- location aware
- decision making
- smart home
- mobile users
- data management