Reasoning in Context-Aware Systems with Modal Logics.
Yensen LimónEverardo BárcenasEdgard Benítez-GuerreroPublished in: Res. Comput. Sci. (2017)
Keyphrases
- modal logic
- context aware systems
- context aware
- decision procedures
- inference rules
- temporal logic
- context awareness
- ubiquitous computing
- nonmonotonic logics
- automated reasoning
- classical logic
- context aware services
- knowledge representation
- information retrieval
- epistemic logic
- autoepistemic logic
- knowledge base
- default logic
- current context
- reasoning tasks
- legal reasoning
- situation calculus
- model checking
- mobile devices
- theorem prover
- modal operators
- context sensitive
- ambient intelligence
- multi agent systems
- artificial intelligence