The TM system for repairing non-theorems

MaRDI QIDQ2848060zbMATH OpenFDO

Authors Simon Colton, Alison Pease

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050747

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 4119665
• scientific article; zbMATH DE number 3995084
• scientific article; zbMATH DE number 1865568
• scientific article; zbMATH DE number 1497748
• Automatic Learning of Proof Methods in Proof Planning

Cited in

(1)

• Mathematical applications of inductive logic programming

Describes a project that uses

Uses Software

• Mace4
• TPTP
• OTTER

This page was built for publication: The TM system for repairing non-theorems

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