Brave induction: a logical framework for learning from incomplete information (Q1959490): Difference between revisions

@@ Property / cites work @@
+Extracting Requirements from Scenarios with ILP
@@ Property / cites work: Extracting Requirements from Scenarios with ILP / rank @@
+Normal rank
@@ Property / cites work @@
+Saturation, nonmonotonic reasoning and the closed-world assumption
+Normal rank
@@ Property / cites work @@
+Logical settings for concept-learning
@@ Property / cites work: Logical settings for concept-learning / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal discovery
@@ Property / cites work: Clausal discovery / rank @@
+Normal rank
@@ Property / cites work @@
+Q4877447
@@ Property / cites work: Q4877447 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Abduction from logic programs: Semantics and complexity
+Normal rank
@@ Property / cites work @@
+Q4530868
@@ Property / cites work: Q4530868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between circumscription and negation as failure
+Normal rank
@@ Property / cites work @@
+Q3972029
@@ Property / cites work: Q3972029 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution for consequence finding
@@ Property / cites work: Linear resolution for consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707770
@@ Property / cites work: Q4707770 / rank @@
+Normal rank
@@ Property / cites work @@
+Induction as consequence finding
@@ Property / cites work: Induction as consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming
@@ Property / cites work: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint characterization of abductive logic programs
+Normal rank
@@ Property / cites work @@
+Q4530875
@@ Property / cites work: Q4530875 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with monotone abstract constraint atoms
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Nonmonotonic Logic II
@@ Property / cites work: Nonmonotonic Logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / 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 @@
+Q4955344
@@ Property / cites work: Q4955344 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4796703
@@ Property / cites work: Q4796703 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624681
@@ Property / cites work: Q5624681 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic abductive inductive learning
@@ Property / cites work: Nonmonotonic abductive inductive learning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537975
@@ Property / cites work: Q4537975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4800160
@@ Property / cites work: Q4800160 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Negotiation in Answer Set Programming
@@ Property / cites work: Inductive Negotiation in Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+An alternative approach to the semantics of disjunctive logic programs and deductive databases
+Normal rank
@@ Property / cites work @@
+Brave Induction
@@ Property / cites work: Brave Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Application of abductive ILP to learning metabolic network inhibition from temporal data
+Normal rank