The TM system for repairing non-theorems

zbMATH Open1272.68352MaRDI QIDQ2848060FDOQ2848060

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)

Cited In (1)

• Mathematical applications of inductive logic programming

Uses Software

• OTTER
• TPTP
• Mace4

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)