Enumeration Complexity of Poor Man's Propositional Dependence Logic.
Arne MeierChristian ReinboldPublished in: FoIKS (2018)
Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- worst case
- dynamic programming
- proof theory
- horn clauses
- propositional logic
- deontic logic
- predicate calculus
- space complexity
- polynomial hierarchy
- proof procedure
- classical logic
- computational complexity
- default logic
- theorem proving
- modal logic
- logic programming
- np hard
- search space