Separability in the Ambient Logic.
Étienne LozesDaniel HirschkoffDavide SangiorgiPublished in: Log. Methods Comput. Sci. (2008)
Keyphrases
- ambient intelligence
- modal logic
- classical logic
- dimensionality reduction
- set theory
- intelligent environments
- multi valued
- database
- logical framework
- propositional dynamic logic
- delay insensitive
- asynchronous circuits
- predicate logic
- formal language
- nonmonotonic logics
- defeasible logic
- probabilistic logic
- logic programming
- pattern recognition
- artificial intelligence