Automated Theorem Proving (Automated Deduction)


softfol1

Resources:

Conferences:

Wikipedia:

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 SystemsAutomated Reasoning & Dialog SystemsBest Theorem Prover Videos | GATE & Dialog SystemsNLTK & Chatbots