Nonmonotonic abductive inductive learning (Q833734): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2008.10.007
@@ Property / DOI: 10.1016/j.jal.2008.10.007 / rank @@
-Normal rank
@@ Property / cites work @@
+Extracting Requirements from Scenarios with ILP
@@ Property / cites work: Extracting Requirements from Scenarios with ILP / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472926
@@ Property / cites work: Q5472926 / rank @@
+Normal rank
@@ Property / cites work @@
+Multistrategy theory revision: Induction and abduction in INTHELEX
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955308
@@ Property / cites work: Q4955308 / rank @@
+Normal rank
@@ Property / cites work @@
+Induction as consequence finding
@@ Property / cites work: Induction as consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Strategies in combined learning via logic programs
+Normal rank
@@ Property / cites work @@
+Q4702576
@@ Property / cites work: Q4702576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707774
@@ Property / cites work: Q4707774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413491
@@ Property / cites work: Q4413491 / rank @@
+Normal rank
@@ Property / cites work @@
+Event Calculus Reasoning Through Satisfiability
@@ Property / cites work: Event Calculus Reasoning Through Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537969
@@ Property / cites work: Q4537969 / rank @@
+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 @@
+Q4798006
@@ Property / cites work: Q4798006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4796703
@@ Property / cites work: Q4796703 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming
@@ Property / cites work: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming
@@ Property / cites work: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Flattening and saturation: Two representation changes for generalization
+Normal rank
@@ Property / cites work @@
+Induction from answer sets in nonmonotonic logic programs
+Normal rank
@@ Property / cites work @@
+Q4530885
@@ Property / cites work: Q4530885 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypothesis finding based on upward refinement of residue hypotheses.
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2008.10.007
@@ Property / DOI: 10.1016/J.JAL.2008.10.007 / rank @@
+Normal rank