Learning from good and bad data
Learning from good and bad data
Generalized subsumption and its applications to induction and redundancy
Artificial Intelligence
Learning Conjunctions of Horn Clauses
Machine Learning - Computational learning theory
Linear resolution for consequence finding
Artificial Intelligence
The resolution calculus
An inference method for the complete inverse of relative subsumption
New Generation Computing - Special issue on inductive logic programming 97
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Learning Acyclic First-Order Horn Sentences from Entailment
ALT '97 Proceedings of the 8th International Conference on Algorithmic Learning Theory
Logical Aspects of Several Bottom-Up Fittings
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Hypotheses Finding via Residue Hypotheses with the Resolution Principle
ALT '00 Proceedings of the 11th International Conference on Algorithmic Learning Theory
Finding Hypotheses from Examples by Computing the Least Generalization of Bottom Clauses
DS '98 Proceedings of the First International Conference on Discovery Science
Which Hypotheses Can Be Found with Inverse Entailment?
ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
A completeness theorem and a computer program for finding theorems derivable from given axioms
A completeness theorem and a computer program for finding theorems derivable from given axioms
Hi-index | 0.00 |
Hypothesis finding constitutes a basic technique for fields of inference related to Discovery Science, like inductive inference and abductive inference. In this paper we explain that various hypothesis finding methods in clausal logic can be put on one general ground by using the combination of the upward refinement and residue hypotheses. Their combination also gives a natural extension of the relative subsumption relation. We also explain that definite bottom clauses, a special type of residue hypotheses, can be found by extending SLD-resolution.