Separability in the Ambient Logic
Daniel HirschkoffÉtienne LozesDavide SangiorgiPublished in: CoRR (2008)
Keyphrases
- ambient intelligence
- logic programming
- multi valued
- modal logic
- classical logic
- asynchronous circuits
- automated reasoning
- linear temporal logic
- data sets
- deductive reasoning
- logic synthesis
- linear logic
- formal theory
- computational properties
- intelligent environments
- dimensionality reduction
- mobile devices
- feature selection
- neural network