Mathematical applications of inductive logic programming

DOI10.1007/s10994-006-8259-xzbMath1103.68438OpenAlexW2111038026WikidataQ60692006 ScholiaQ60692006MaRDI QIDQ2433178

Simon Colton, Stephen H. 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)

Related Items

Automatic construction and verification of isotopy invariants, Structured machine learning: the next ten years

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Clausal discovery
• On conjectures of Graffiti
• The TPTP problem library. CNF release v1. 2. 1
• On the notion of interestingness in automated mathematical discovery
• Automated Reasoning
• Inductive Logic Programming
• Automated Deduction – CADE-19