Unsound Inferences Make Proofs Shorter.
Juan P. AguileraMatthias BaazPublished in: J. Symb. Log. (2019)
Keyphrases
- theorem proving
- theorem prover
- formal proofs
- pattern recognition
- decision procedures
- mathematical proofs
- making inferences
- numerical calculation
- formal proof
- relational databases
- inference rules
- pairwise
- search algorithm
- inference process
- support vector
- causal reasoning
- proof search
- feature extraction
- face recognition
- image segmentation
- artificial intelligence
- databases