Mathematical applications of inductive logic programming

DOI10.1007/S10994-006-8259-XMaRDI QIDQ2433178zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Simon Colton, Stephen Muggleton

Publication date 27 October 2006

Published in Machine Learning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10994-006-8259-x

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• ILP for mathematical discovery.
• Inductive Logic Programming: Theory and methods
• Managing Automatically Formed Mathematical Theories
• 10.1162/153244304773936009
• scientific article; zbMATH DE number 784360

Cites work

• scientific article; zbMATH DE number 5909822 (Why is no real title available?)
• scientific article; zbMATH DE number 3986613 (Why is no real title available?)
• scientific article; zbMATH DE number 3754084 (Why is no real title available?)
• scientific article; zbMATH DE number 3521877 (Why is no real title available?)
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• scientific article; zbMATH DE number 1264487 (Why is no real title available?)
• scientific article; zbMATH DE number 1348482 (Why is no real title available?)
• scientific article; zbMATH DE number 604447 (Why is no real title available?)
• scientific article; zbMATH DE number 2084734 (Why is no real title available?)
• scientific article; zbMATH DE number 2090053 (Why is no real title available?)
• scientific article; zbMATH DE number 2090054 (Why is no real title available?)
• scientific article; zbMATH DE number 2090307 (Why is no real title available?)
• scientific article; zbMATH DE number 878175 (Why is no real title available?)
• Automated Deduction – CADE-19
• Automated Reasoning
• Clausal discovery
• ILP for mathematical discovery.
• On conjectures of Graffiti
• On the notion of interestingness in automated mathematical discovery
• The TM system for repairing non-theorems
• The TPTP problem library. CNF release v1. 2. 1

Cited in

(6)

• Structured machine learning: the next ten years
• Automatic construction and verification of isotopy invariants
• Managing Automatically Formed Mathematical Theories
• scientific article; zbMATH DE number 1852932 (Why is no real title available?)
• scientific article; zbMATH DE number 4115950 (Why is no real title available?)
• ILP for mathematical discovery.

Describes a project that uses

Uses Software

• C4.5
• tptp2X
• HR
• MathWeb
• GRAFFITI
• OEIS
• Mace4
• TPTP
• OTTER

This page was built for publication: Mathematical applications of inductive logic programming

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