Enumeration Complexity of Poor Man's Propositional Dependence Logic.
Arne MeierChristian ReinboldPublished in: CoRR (2017)
Keyphrases
- sound and complete axiomatization
- multi valued
- polynomial hierarchy
- probabilistic logic
- truth maintenance systems
- default logic
- space complexity
- neural network
- predicate calculus
- propositional variables
- modal logic
- automated reasoning
- first order logic
- nonmonotonic logics
- predicate logic
- autoepistemic logic
- logic programming
- deductive reasoning
- worst case