ILP for mathematical discovery.

DOI10.1007/B13700MaRDI QIDQ5897178zbMATH OpenOpenAlexDBLPFDO

Authors Simon Colton, Stephen Muggleton

Publication date 23 February 2010

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

Full work available at URL https://doi.org/10.1007/b13700

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Recommendations

• Mathematical applications of inductive logic programming
• scientific article; zbMATH DE number 2090307
• scientific article; zbMATH DE number 5909822
• Managing Automatically Formed Mathematical Theories
• Inductive Logic Programming: Theory and methods

Cited in

(6)

• Mathematical applications of inductive logic programming
• Managing Automatically Formed Mathematical Theories
• On the notion of interestingness in automated mathematical discovery
• Parallel ILP for distributed-memory architectures
• scientific article; zbMATH DE number 732056 (Why is no real title available?)
• scientific article; zbMATH DE number 2090307 (Why is no real title available?)

This page was built for publication: ILP for mathematical discovery.

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