Names are not just sound and smoke: word embeddings for axiom selection

DOI10.1007/978-3-030-29436-6_15OpenAlexW2969663841MaRDI QIDQ2305419

Teresa Krämer, Ulrich Furbach, Claudia Schon

Publication date: 10 March 2020

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

Mathematics Subject Classification ID

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

Related Items (1)

Confidences for commonsense reasoning

Uses Software

• WordNet
• TPTP
• E Theorem Prover
• ConceptNet
• YAGO
• Divvy
• E-KRHyper
• SRASS
• GloVe

Cites Work

• Lightweight relevance filtering for machine-generated resolution problems
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• System Description: E 1.8
• SRASS - A Semantic Relevance Axiom Selection System
• System Description: E-KRHyper 1.4
• The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9
• Sine Qua Non for Large Theory Reasoning
• Automatic white-box testing of first-order logic ontologies

This page was built for publication: Names are not just sound and smoke: word embeddings for axiom selection