Mathematical applications of inductive logic programming (Q2433178): Difference between revisions

@@ Property / author @@
-Stephen H. Muggleton
@@ Property / author: Stephen H. Muggleton / rank @@
-Normal rank
@@ Property / author @@
+Stephen H. Muggleton
@@ Property / author: Stephen H. Muggleton / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+C4.5
@@ Property / describes a project that uses: C4.5 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GRAFFITI
@@ Property / describes a project that uses: GRAFFITI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+tptp2X
@@ Property / describes a project that uses: tptp2X / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OEIS
@@ Property / describes a project that uses: OEIS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathWeb
@@ Property / describes a project that uses: MathWeb / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HR
@@ Property / describes a project that uses: HR / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10994-006-8259-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2111038026
@@ Property / OpenAlex ID: W2111038026 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q60692006
@@ Property / Wikidata QID: Q60692006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4299746
@@ Property / cites work: Q4299746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750100
@@ Property / cites work: Q3750100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4233444
@@ Property / cites work: Q4233444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3006508
@@ Property / cites work: Q3006508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809066
@@ Property / cites work: Q4809066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808724
@@ Property / cites work: Q4808724 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming
@@ Property / cites work: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the notion of interestingness in automated mathematical discovery
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475664
@@ Property / cites work: Q4475664 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848060
@@ Property / cites work: Q2848060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099541
@@ Property / cites work: Q4099541 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal discovery
@@ Property / cites work: Clausal discovery / rank @@
+Normal rank
@@ Property / cites work @@
+On conjectures of Graffiti
@@ Property / cites work: On conjectures of Graffiti / rank @@
+Normal rank
@@ Property / cites work @@
+Q4877538
@@ Property / cites work: Q4877538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264736
@@ Property / cites work: Q4264736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099559
@@ Property / cites work: Q4099559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938537
@@ Property / cites work: Q3938537 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808725
@@ Property / cites work: Q4808725 / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2433178