Extracting Exact Time Bounds from Logical Proofs.
Mauro FerrariCamillo FiorentiniMario OrnaghiPublished in: LOPSTR (2001)
Keyphrases
- upper bound
- worst case
- upper and lower bounds
- lower bound
- theorem proving
- automatically extracting
- logical representation
- error bounds
- theorem prover
- formal proofs
- average case
- database
- confidence bounds
- logical rules
- logical operations
- logical reasoning
- error tolerance
- worst case bounds
- marginal probabilities
- logical structure
- logical framework
- brute force
- lower and upper bounds
- vc dimension
- information systems
- artificial intelligence
- databases