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
Minimised Residue Hypotheses in Relevant Logic
ALT '02 Proceedings of the 13th 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
New Conditions for the Existence of Least Generalizations under Relative Subsumption
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Hypothesis finding based on upward refinement of residue hypotheses
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Hypothesis finding with proof theoretical appropriateness criteria
Theoretical Computer Science - Algorithmic learning theory(ALT 2002)
Learning Qualitative Models of Physical and Biological Systems
Computational Discovery of Scientific Knowledge
Hi-index | 0.00 |