Mathematical applications of inductive logic programming
From MaRDI portal
Recommendations
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.
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)