The area of logic and artificial intelligence concerned with automating logical inference, implementing theorem provers, and the foundations of logic programming.
Related categories 1
Sites 1
- Automated Reasoning Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.