Justification Logic as a foundation for certifying mobile computation.
Eduardo BonelliFederico FellerPublished in: Ann. Pure Appl. Log. (2012)
Keyphrases
- real time
- automated reasoning
- mobile phone
- mobile environments
- mobile technologies
- mobile applications
- classical logic
- multi valued
- mobile learning
- context aware
- logic programming
- mobile devices
- learning environment
- autonomous mobile
- intelligent mobile
- epistemic logic
- mobile communication
- reason maintenance
- handheld devices
- probability theory
- mobile services
- efficient computation
- m learning
- neural network