Guiding a Theorem Prover with Soft Constraints.
John K. SlaneyArnold BinasDavid PricePublished in: ECAI (2004)
Keyphrases
- theorem prover
- soft constraints
- hard constraints
- theorem proving
- first order logic
- constraint satisfaction problems
- constraint satisfaction
- automated theorem proving
- inference rules
- constraint propagation
- term rewriting
- arc consistency
- natural deduction
- formal proof
- constraint problems
- boolean algebra
- mathematical knowledge
- constraint violations
- qualitative and quantitative
- proof search
- proof planning
- constraint programming