On the Expressiveness of the Ambient Logic.
Daniel HirschkoffÉtienne LozesDavide SangiorgiPublished in: Log. Methods Comput. Sci. (2006)
Keyphrases
- computational properties
- expressive power
- ambient intelligence
- modal logic
- logic programming
- epistemic logic
- intelligent environments
- sound and complete axiomatization
- proof theory
- classical logic
- logic programs
- neural network
- delay insensitive
- real time
- logical framework
- multiscale
- formal theory
- artificial intelligence
- logic synthesis
- databases