Logical omniscience as a computational complexity problem.
Sergei N. ArtëmovRoman KuznetsPublished in: TARK (2009)
Keyphrases
- computational complexity
- np complete
- special case
- high computational complexity
- np hard
- computational cost
- low complexity
- logical rules
- logical representation
- bit rate
- multiresolution
- data sets
- motion estimation
- knowledge base
- computationally efficient
- rate distortion
- machine learning
- memory requirements
- storage requirements
- databases
- logical structure
- real time