Logic and Computational Complexity (NII Shonan Meeting 2017-13).
Yijia ChenRodney G. DowneyJörg FlumPublished in: NII Shonan Meet. Rep. (2017)
Keyphrases
- computational load
- computational complexity
- computational cost
- modal logic
- automated reasoning
- logic programming
- neural network
- special case
- computationally efficient
- database
- classical logic
- multi valued
- np complete
- sound and complete axiomatization
- high computational complexity
- low complexity
- motion estimation
- decision problems
- multi party
- rate distortion
- knowledge representation
- probabilistic logic
- np hard
- bayesian networks
- nonmonotonic logics
- asynchronous circuits
- proof theory
- knowledge base