Logical reduction of metarules (Q2203321): Difference between revisions

@@ Property / cites work @@
+Occam's razor
@@ Property / cites work: Occam's razor / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310200
@@ Property / cites work: Q5310200 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammatically biased learning: Learning logic programs using an explicit antecedent description language
+Normal rank
@@ Property / cites work @@
+Learning efficient logic programs
@@ Property / cites work: Learning efficient logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation Reduction of Metarules in Meta-interpretive Learning
+Normal rank
@@ Property / cites work @@
+Interactive concept-learning and constructive induction by analogy
+Normal rank
@@ Property / cites work @@
+Quantifier-Free Equational Logic and Prime Implicate Generation
+Normal rank
@@ Property / cites work @@
+Learning Explanatory Rules from Noisy Data
@@ Property / cites work: Learning Explanatory Rules from Noisy Data / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming
@@ Property / cites work: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Removing redundancy from a clause
@@ Property / cites work: Removing redundancy from a clause / rank @@
+Normal rank
@@ Property / cites work @@
+Clause Elimination for SAT and QSAT
@@ Property / cites work: Clause Elimination for SAT and QSAT / rank @@
+Normal rank
@@ Property / cites work @@
+From Search to Computation: Redundancy Criteria and Simplification at Work
+Normal rank
@@ Property / cites work @@
+Resolution Strategies as Decision Procedures
@@ Property / cites work: Resolution Strategies as Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. I: CNF propositional formulae
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. II: 2CNF and Horn propositional formulae
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806966
@@ Property / cites work: Q4806966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230359
@@ Property / cites work: Q4230359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2752124
@@ Property / cites work: Q2752124 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed meta-interpretive learning of logic programs
+Normal rank
@@ Property / cites work @@
+ILP turns 20. Biography and future challenges
@@ Property / cites work: ILP turns 20. Biography and future challenges / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-interpretive learning: application to grammatical inference
+Normal rank
@@ Property / cites work @@
+Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
+Normal rank
@@ Property / cites work @@
+Foundations of inductive logic programming
@@ Property / cites work: Foundations of inductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Implication of clauses is undecidable
@@ Property / cites work: Implication of clauses is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452296
@@ Property / cites work: Q5452296 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clause computability
@@ Property / cites work: Horn clause computability / rank @@
+Normal rank
@@ Property / cites work @@
+SLD-resolution reduction of second-order Horn fragments
+Normal rank
@@ Property / cites work @@
+Subterm contextual rewriting
@@ Property / cites work: Subterm contextual rewriting / rank @@
+Normal rank