Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations.
Ullrich HustadtAna OzakiClare DixonPublished in: J. Autom. Reason. (2020)
Keyphrases
- theorem proving
- pointwise
- metric temporal logic
- weighted sum
- first order logic
- automated deduction
- decision procedures
- term rewriting
- automated reasoning
- theorem prover
- inference rules
- parallel search
- proof planning
- automated theorem proving
- polynomial approximation
- confidence intervals
- geometry theorem proving
- proof procedure
- consequence finding
- proof search
- nonparametric regression
- roc curve
- temporal logic
- knowledge base
- linear combination