An infrastructure for context-awareness based on first order logic.
Anand RanganathanRoy H. CampbellPublished in: Pers. Ubiquitous Comput. (2003)
Keyphrases
- first order logic
- context awareness
- computing environments
- context aware
- ubiquitous computing
- expressive power
- ambient intelligence
- propositional logic
- theorem proving
- inference rules
- probabilistic reasoning
- context sensitive
- knowledge representation
- representation language
- transitive closure
- inductive logic programming
- markov networks
- theorem prover
- probabilistic graphical models
- context aware computing
- human computer interaction
- horn clauses
- smart home
- search algorithm
- markov logic
- activity recognition
- computational intelligence
- management system
- markov logic networks
- databases