Resources:
- eprover.org {related:}
- hol.sourceforge.net {related:}
- pvs.csl.sri.com {related:}
- spass-prover.org {related:}
- vprover.org {related:}
- z3.codeplex.com {related:}
Conferences:
- International Conference on Automated Deduction (CADE)
- International Joint Conference on Automated Reasoning (IJCAR)
Wikipedia:
- Abductive reasoning
- Automated theorem proving (Comparison)
- Category:Automated theorem proving
- Category:Free theorem provers
- Category:Theorem proving software systems
References:
- Architectural Refinement in HETS (2012) [PDF] .. by Mihai Codescu
- Reasoning in the OWL 2 full ontology language using first-order automated theorem proving (2011) .. by Michael Schneider, etc
- Coupling Ontology with Rule-Based Theorem Proving for Knowledge Representation and Reasoning (2010) .. by Xiuqin Zhong, etc
- Logical Ontology Validation Using an Automatic Theorem Prover (2010) .. by Tim vor der Brück, etc
See also:
Abduction & Dialog Systems | Automated Reasoning & Dialog Systems | Best Theorem Prover Videos | GATE & Dialog Systems | NLTK & Chatbots