Keyphrases
- mobile devices
- flash memory
- classical logic
- modal logic
- logic programming
- memory requirements
- random access memory
- memory space
- memory size
- memory usage
- computing power
- defeasible logic
- limited memory
- intelligent environments
- embedded systems
- main memory
- knowledge base
- deontic logic
- sound and complete axiomatization
- epistemic logic
- embedded devices
- multi valued
- truth values
- processing capabilities
- computational properties
- real time
- automated reasoning
- associative memory
- neural network