A Logical Framework for the Representation and Verification of Context-aware Agents.
Abdur RakibHafiz Mahfooz Ul HaquePublished in: Mob. Networks Appl. (2014)
Keyphrases
- context aware
- logical framework
- contextual information
- mobile devices
- context awareness
- inference rules
- ubiquitous computing
- ubiquitous learning
- ambient intelligence
- belief revision
- epistemic logic
- normative systems
- mobile users
- coalition logic
- smart environments
- mobile applications
- reasoning tasks
- smart spaces
- context aware systems
- mobile computing
- multi agent
- smart home
- model checking
- intelligent agents
- qualitative and quantitative
- multiple agents
- software agents
- description logics
- programming language
- current context
- ubiquitous environment
- computational complexity
- multi agent systems
- decision making
- context aware preferences
- context aware mobile
- context aware ubiquitous learning