Can We Trust Theorem Provers for Industrial AI?
Falk HowarMalte MuesTim MenziesPublished in: IEEE Softw. (2021)
Keyphrases
- theorem prover
- computer algebra systems
- automated reasoning
- computer algebra
- theorem proving
- automated theorem proving
- inference rules
- artificial intelligence
- term rewriting
- trust model
- first order logic
- higher order logic
- automated deduction
- industrial applications
- expert systems
- knowledge representation
- case based reasoning
- timed automata
- intelligent systems
- ai systems
- formal semantics
- natural deduction
- trust evaluation
- knowledge representation and reasoning
- trust relationships
- search space
- metadata
- proof search
- virtual communities
- higher order
- data mining