Keyphrases
- computational complexity
- formal semantics
- decision problems
- np complete
- special case
- computational cost
- low complexity
- neural network
- rate distortion
- semantic information
- bit rate
- logic programming
- machine learning
- real time
- logic programs
- domain knowledge
- np hard
- optimal solution
- bayesian networks
- memory requirements
- default reasoning
- high computational complexity