Directory of Automated Reasoning Resources

Home > Science > Math > Logic and Foundations > Computational Logic > Automated Reasoning

The area of logic and artificial intelligence concerned with automating logical inference, implementing theorem provers, and the foundations of logic programming.

Resources in This Category

• Automated Reasoning

  http://plato.stanford.edu/entries/reasoning-automated/
  Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic Portoraro.

Related Categories

• Home > Science > Math > Logic and Foundations > Proof Theory

 

Home > Science > Math > Logic and Foundations > Computational Logic > Automated Reasoning

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us