Complexity of Propositional Independence and Inclusion Logic.
Miika HannulaJuha KontinenJonni VirtemaHeribert VollmerPublished in: MFCS (1) (2015)
Keyphrases
- sound and complete axiomatization
- multi valued
- modal logic
- computational complexity
- first order logic
- horn clauses
- polynomial hierarchy
- predicate calculus
- probabilistic logic
- logic programming
- worst case
- default logic
- neural network
- propositional logic
- knowledge compilation
- classical logic
- predicate logic
- proof procedure
- propositional variables
- knowledge base