How Many Times do We Need an Assumption to Prove a Tautology in Minimal Logic? Examples on the Compression Power of Classical Reasoning.
Edward Hermann HaeuslerPublished in: Electron. Notes Theor. Comput. Sci. (2015)
Keyphrases
- horn logic
- automated reasoning
- proof theory
- deductive reasoning
- computational properties
- power consumption
- reasoning engine
- order of magnitude reasoning
- reasoning systems
- logical inference
- human reasoning
- logical framework
- predicate logic
- intuitionistic logic
- reasoning problems
- valued logic
- image compression
- knowledge representation formalisms
- compression scheme
- probabilistic logic
- knowledge representation and reasoning
- deontic logic
- proof procedure
- qualitative reasoning
- probability theory
- default reasoning
- classical logic
- case based reasoning
- abstract argumentation
- data compression
- proof theoretic
- chip design
- training examples
- quantum computation
- logic programming