Inverse subsumption for complete explanatory induction (Q439023): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N17
@@ Property / Mathematics Subject Classification ID: 68N17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T05
@@ Property / Mathematics Subject Classification ID: 68T05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6062643
@@ Property / zbMATH DE Number: 6062643 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inverse entailment
@@ Property / zbMATH Keywords: inverse entailment / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inverse subsumption
@@ Property / zbMATH Keywords: inverse subsumption / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+learning from entailment
@@ Property / zbMATH Keywords: learning from entailment / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+explanatory induction
@@ Property / zbMATH Keywords: explanatory induction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inductive logic programming
@@ Property / zbMATH Keywords: inductive logic programming / 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-011-5250-y
+Normal rank
@@ Property / OpenAlex ID @@
+W1990279219
@@ Property / OpenAlex ID: W1990279219 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical settings for concept-learning
@@ Property / cites work: Logical settings for concept-learning / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+Induction as consequence finding
@@ Property / cites work: Induction as consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Induction on Failure: Learning Connected Horn Theories
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Theory and methods
@@ Property / cites work: Inductive Logic Programming: Theory and methods / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of inductive logic programming
@@ Property / cites work: Foundations of inductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic abductive inductive learning
@@ Property / cites work: Nonmonotonic abductive inductive learning / rank @@
+Normal rank
@@ Property / cites work @@
+Mode-Directed Inverse Entailment for Full Clausal Theories
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming
@@ Property / cites work: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause
+Normal rank
@@ Property / cites work @@
+Hypothesis finding based on upward refinement of residue hypotheses.
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:439023