Logic-based artificial intelligence
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
DS '98 Proceedings of the First International Conference on Discovery Science
A Theory of Hypothesis Finding in Clausal Logic
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Theory Completion Using Inverse Entailment
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
New Conditions for the Existence of Least Generalizations under Relative Subsumption
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Inverse Entailment in Nonmonotonic Logic Programs
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Induction, Abduction, and Consequence-Finding
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Application of Pruning Techniques for Propositional Learning to Progol
ILP '01 Proceedings of the 11th 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
Induction as Consequence Finding
Machine Learning
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Induction on Failure: Learning Connected Horn Theories
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Facts and fallacies in using genetic algorithms for learning clauses in first-order logic
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartI
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Mode-directed inverse entailment for full clausal theories
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Inductive equivalence of logic programs
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Conceptual clustering of multi-relational data
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Does multi-clause learning help in real-world applications?
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
MC-TopLog: complete multi-clause learning guided by a top theory
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Hi-index | 0.00 |