Communications of the ACM
Information Processing Letters
New Generation Computing - Selected papers from the international workshop on algorithmic learning theory,1990
Induction as nonmonotonic inference
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Learning structured concepts using genetic algorithms
ML92 Proceedings of the ninth international workshop on Machine learning
Learning Conjunctions of Horn Clauses
Machine Learning - Computational learning theory
Simply logical: intelligent reasoning by example
Simply logical: intelligent reasoning by example
Inductive learning of characteristic concept descriptions from small sets of classified examples
ECML-94 Proceedings of the European conference on machine learning on Machine Learning
Recovering software specifications with inductive logic programming
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Applications of inductive logic programming
Communications of the ACM
Machine Learning
Machine Learning - special issue on inductive logic programming
Machine Learning - special issue on inductive logic programming
Learning Qualitative Models of Dynamic Systems
Machine Learning - special issue on inductive logic programming
Fast discovery of association rules
Advances in knowledge discovery and data mining
Logical settings for concept-learning
Artificial Intelligence
Data mining: practical machine learning tools and techniques with Java implementations
Data mining: practical machine learning tools and techniques with Java implementations
Strategies in Combined Learning via Logic Programs
Machine Learning - Special issue on multistrategy learning
Genome scale prediction of protein functional class from sequence using data mining
Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining
Learning language in logic
Confirmation-guided discovery of first-order rules with tertius
Machine Learning
Robust Classification for Imprecise Environments
Machine Learning
An extended transformation approach to inductive logic programming
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Advances in Inductive Logic Programming
Advances in Inductive Logic Programming
Algorithmic Program DeBugging
Machine Learning
Relational Data Mining
Inductive Logic Programming: Techniques and Applications
Inductive Logic Programming: Techniques and Applications
Scaling Up Inductive Logic Programming by Learning from Interpretations
Data Mining and Knowledge Discovery
Learning Logical Definitions from Relations
Machine Learning
Learning Nonrecursive Definitions of Relations with LINUS
EWSL '91 Proceedings of the European Working Session on Machine Learning
Predicate Invention in Inductive Data Engineering
ECML '93 Proceedings of the European Conference on Machine Learning
Relational Reinforcement Learning
ICML '98 Proceedings of the Fifteenth International Conference on Machine Learning
Classification of Individuals with Complex Structure
ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning
An Algorithm for Multi-relational Discovery of Subgroups
PKDD '97 Proceedings of the First European Symposium on Principles of Data Mining and Knowledge Discovery
CL '00 Proceedings of the First International Conference on Computational Logic
Using Logical Decision Trees for Clustering
ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
Mining Association Rules in Multiple Relations
ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
Normal Forms for Inductive Logic Programming
ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
Relational Distance-Based Clustering
ILP '98 Proceedings of the 8th International Workshop on Inductive Logic Programming
Strongly Typed Inductive Concept Learning
ILP '98 Proceedings of the 8th International Workshop on Inductive Logic Programming
IBC: A First-Order Bayesian Classifier
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
A Logical Database Mining Query Language
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
An Inductive Logic Programming Query Language for Database Mining
AISC '98 Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation
Learning Non-Monotonic Logic Programs: Learning Exceptions
ECML '95 Proceedings of the 8th European Conference on Machine Learning
Rationality postulates for induction
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Database dependency discovery: a machine learning approach
AI Communications
Discovery of multivalued dependencies from relations
Intelligent Data Analysis
Integrating explanatory and descriptive learning in ILP
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Induction of first-order decision lists: results on learning the past tense of English verbs
Journal of Artificial Intelligence Research
Generalization of clauses under implication
Journal of Artificial Intelligence Research
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
Top-down induction of first-order logical decision trees
Artificial Intelligence
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Building rules on top of ontologies for the semantic web with inductive logic programming
Theory and Practice of Logic Programming
Principles of inductive reasoning on the semantic web: a framework for learning in AL-log
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
| Hi-index | 0.00 |
Inductive logic programming is a form of machine learning from examples which employs the representation formalism of clausal logic. One of the earliest inductive logic programming systems was Ehud Shapiro's Model Inference System [90], which could synthesise simple recursive programs like append/3. Many of the techniques devised by Shapiro, such as top-down search of program clauses by refinement operators, the use of intensional background knowledge, and the capability of inducing recursive clauses, are still in use today. On the other hand, significant advances have been made regarding dealing with noisy data, efficient heuristic and stochastic search methods, the use of logical representations going beyond definite clauses, and restricting the search space by means of declarative bias. The latter is a general term denoting any form of restrictions on the syntactic form of possible hypotheses. These include the use of types, input/output mode declarations, and clause schemata. Recently, some researchers have started using alternatives to Prolog featuring strong typing and real functions, which alleviate the need for some of the above ad-hoc mechanisms. Others have gone beyond Prolog by investigating learning tasks in which the hypotheses are not definite clause programs, but for instance sets of indefinite clauses or denials, constraint logic programs, or clauses representing association rules. The chapter gives an accessible introduction to the above topics. In addition, it outlines the main current research directions which have been strongly influenced by recent developments in data mining and challenging real-life applications.