Semantic selection for resolution in clause graphs

DOI10.1007/3-540-36187-1_8MaRDI QIDQ4415137zbMATH OpenFDO

Authors Seungyeob Choi, Manfred Kerber

Publication date 28 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2557/25570083.htm

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 3986668
• scientific article; zbMATH DE number 3988746
• scientific article; zbMATH DE number 4047183
• Selecting the selection
• Extending E prover with similarity based clause selection strategies

Cited in

(9)

• Clause trees: A tool for understanding and implementing resolution in automated reasoning
• Layered clause selection for theory reasoning (short paper)
• Performance of clause selection heuristics for saturation-based theorem proving
• scientific article; zbMATH DE number 3986668 (Why is no real title available?)
• scientific article; zbMATH DE number 3988746 (Why is no real title available?)
• Inference with path resolution and semantic graphs
• Towards semantic goal-directed forward reasoning in resolution
• Automated Reasoning
• Recognizing unnecessary clauses in resolution based systems

Describes a project that uses

Uses Software

• VAMPIRE
• SCOTT

This page was built for publication: Semantic selection for resolution in clause graphs

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