On the Expressiveness of the Ambient Logic
Daniel HirschkoffÉtienne LozesDavide SangiorgiPublished in: CoRR (2005)
Keyphrases
- computational properties
- expressive power
- ambient intelligence
- modal logic
- classical logic
- intelligent environments
- database systems
- logic programs
- logic programming
- sound and complete axiomatization
- monadic second order logic
- predicate logic
- first order logic
- multi agent systems
- probabilistic logic
- web services
- machine learning
- neural network
- deontic logic
- asynchronous circuits
- proof theory
- data sets
- real time