SRASS - A Semantic Relevance Axiom Selection System

DOI10.1007/978-3-540-73595-3_20zbMATH Open1213.68575OpenAlexW1493929955MaRDI QIDQ3608780FDOQ3608780

Authors: Yury Puzis, Geoff Sutcliffe 

Publication date: 6 March 2009

Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_20

Recommendations

• Premise selection in the Naproche system
• scientific article; zbMATH DE number 6423829
• Sine qua non for large theory reasoning
• RETRPROV. A system that looks for axioms
• A relevance restriction strategy for automated deduction

Mathematics Subject Classification ID

Cited In (15)

• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Title not available (Why is that?)
• History and Prospects for First-Order Automated Deduction
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• Automated verification of refinement laws
• Premise selection in the Naproche system
• Sine qua non for large theory reasoning
• SRASS
• Theorem proving in large formal mathematics as an emerging AI field
• Learning-assisted theorem proving with millions of lemmas
• Names are not just sound and smoke: word embeddings for axiom selection
• Lemmatization for Stronger Reasoning in Large Theories
• System Description: E.T. 0.1
• Automated Reasoning for Hybrid Systems — Two Case Studies —
• MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance

Uses Software

• OTTER
• E Theorem Prover
• SystemOnTPTP

This page was built for publication: SRASS - A Semantic Relevance Axiom Selection System

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608780)