Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges.
Mohammad AbdulazizPublished in: AAAI (2024)
Keyphrases
- computer algebra systems
- theorem prover
- computer algebra
- theorem proving
- automated reasoning
- automated theorem proving
- automated deduction
- artificial intelligence
- first order logic
- inference rules
- lessons learned
- term rewriting
- higher order
- higher order logic
- natural deduction
- intelligent systems
- real world
- interactive systems
- learning algorithm
- proof search
- advanced technologies
- knowledge representation and reasoning
- visual analytics
- case based reasoning
- user interaction