A Fragment of Dependence Logic Capturing Polynomial Time
Johannes EbbingJuha KontinenJulian-Steffen MüllerHeribert VollmerPublished in: Log. Methods Comput. Sci. (2014)
Keyphrases
- truth table
- special case
- classical logic
- modal logic
- approximation algorithms
- logical framework
- sound and complete axiomatization
- automata theoretic
- proof theory
- predicate logic
- neural network
- logic programming
- computational complexity
- knowledge base
- defeasible logic
- np hard
- formal theory
- deontic logic
- asynchronous circuits
- learning algorithm
- genetic algorithm