Keyphrases
- valued logic
- conditional logic
- taylor series
- higher order
- classical logic
- first order logic
- modal logic
- expressive power
- propositional logic
- high resolution
- closed form
- error bounds
- low resolution
- inference rules
- error tolerance
- polygonal approximation
- consequence finding
- decision procedures
- approximation methods
- higher resolution
- relative error
- horn clauses
- default reasoning
- approximation algorithms
- logic programs