GKC: a reasoning system for large knowledge bases

DOI10.1007/978-3-030-29436-6_32OpenAlexW2969853999MaRDI QIDQ2305438

Tanel Tammet

Publication date: 10 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29436-6_32

zbMATH Keywords

automated reasoningknowledge base

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (8)

Vampire with a brain is a good ITP hammer ⋮ On structures of regular standard contradictions in propositional logic ⋮ Confidences for commonsense reasoning ⋮ Improving ENIGMA-style clause selection while learning from history ⋮ GKC ⋮ Layered clause selection for theory reasoning (short paper) ⋮ Set of support, demodulation, paramodulation: a historical perspective ⋮ GK: implementing full first order default logic for commonsense reasoning (system description)

Uses Software

• VAMPIRE
• TPTP
• YAGO
• WhiteDB

Cites Work

• Unnamed Item
• Unnamed Item
• An abstraction-refinement framework for reasoning with large theories
• Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving
• The TPTP World – Infrastructure for Automated Reasoning
• Simple and Efficient Clause Subsumption with Feature Vector Indexing
• The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9
• On the Saturation of YAGO

This page was built for publication: GKC: a reasoning system for large knowledge bases