Alternation and the computational complexity of logic programs
Journal of Logic Programming
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Learning from good and bad data
Learning from good and bad data
Foundations of deductive databases and logic programming
Identification of unions of languages drawn from an identifiable class
COLT '89 Proceedings of the second annual workshop on Computational learning theory
The correct definition of finite elasticity: corrigendum to identification of unions
COLT '91 Proceedings of the fourth annual workshop on Computational learning theory
First-order jk-clausal theories are PAC-learnable
Artificial Intelligence
A generalization of the least general generalization
Machine intelligence 13
Learning Function-Free Horn Expressions
Machine Learning - The Eleventh Annual Conference on computational Learning Theory
Polynomial-time learning of elementary formal systems
New Generation Computing
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
Learning algebraic structures from text
Theoretical Computer Science - Algorithmic learning theory
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Relational Data Mining
Learning closed horn expressions
Information and Computation
Learning in Logic with RichProlog
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Parameterized Logic Programs where Computing Meets Learning
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Learning Acyclic First-Order Horn Sentences from Entailment
ALT '97 Proceedings of the 8th International Conference on Algorithmic Learning Theory
ALT '02 Proceedings of the 13th International Conference on Algorithmic Learning Theory
Modelling Semi-structured Documents with Hedges for Deduction and Induction
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Learning elementary formal systems with queries
Theoretical Computer Science - Selected papers in honour of Setsuo Arikawa
Discovering all most specific sentences
ACM Transactions on Database Systems (TODS)
Logic and Learning
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Can proofs be animated by games?
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Kernel Functions Based on Derivation
New Frontiers in Applied Data Mining
| Hi-index | 0.00 |
This paper presents a brief introduction of the relation between logic programming and machine learning. The area researching the relation is usually called Inductive Logic Programming (ILP, for short). In this paper we will give the details of neither ILP systems nor ILP theories. We explain how to substitute concepts used in logic programming to items needed in formulating learning theories. We also show some theoretical applications to which the substitution are contributing.