SRASS - A Semantic Relevance Axiom Selection System

DOI10.1007/978-3-540-73595-3_20zbMath1213.68575OpenAlexW1493929955MaRDI QIDQ3608780

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

Mathematics Subject Classification ID

Related Items (14)

History and Prospects for First-Order Automated Deduction ⋮ System Description: E.T. 0.1 ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance ⋮ Learning-assisted theorem proving with millions of lemmas ⋮ Theorem Proving in Large Formal Mathematics as an Emerging AI Field ⋮ Premise Selection in the Naproche System ⋮ Sine Qua Non for Large Theory Reasoning ⋮ Names are not just sound and smoke: word embeddings for axiom selection ⋮ SRASS ⋮ Automated verification of refinement laws

Uses Software

• OTTER
• E Theorem Prover
• SystemOnTPTP

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