Information Processing Letters
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Generalized subsumption and its applications to induction and redundancy
Artificial Intelligence
Logic programs with classical negation
Logic programming
Handbook of theoretical computer science (vol. A)
Handbook of theoretical computer science (vol. B)
The Utility of Knowledge in Inductive Learning
Machine Learning
Sub-unification: a tool for efficient induction of recursive programs
ML92 Proceedings of the ninth international workshop on Machine learning
Flattening and Saturation: Two Representation Changes for Generalization
Machine Learning - Special issue on evaluating and changing representation
Applications of machine learning: towards knowledge synthesis
Selected papers of international conference on Fifth generation computer systems 92
Interactive theory revision: an inductive logic programming approach
Interactive theory revision: an inductive logic programming approach
Machine Learning - special issue on inductive logic programming
Machine Learning
Multistrategy Theory Revision: Induction and Abductionin INTHELEX
Machine Learning - Special issue on multistrategy learning
Machine Learning for Intelligent Processing of Printed Documents
Journal of Intelligent Information Systems - Special issue on methodologies for intelligent information systems
Machine Learning
Inductive Logic Programming: From Machine Learning to Software Engineering
Inductive Logic Programming: From Machine Learning to Software Engineering
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Relational Data Mining
Inductive Logic Programming: Techniques and Applications
Inductive Logic Programming: Techniques and Applications
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs
IEEE Transactions on Knowledge and Data Engineering
Specialization of Recursive Predicates
ECML '95 Proceedings of the 8th European Conference on Machine Learning
FENDER: An Approach to Theory Restructuring (Extended Abstract)
ECML '95 Proceedings of the 8th European Conference on Machine Learning
Learning Horn Expressions with LogAn-H
ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning
The Many Faces of Inductive Logic Programming
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
On Multi-class Problems and Discretization in Inductive Logic Programming
ISMIS '97 Proceedings of the 10th International Symposium on Foundations of Intelligent Systems
Normal Programs and Multiple Predicate Learning
ILP '98 Proceedings of the 8th International Workshop on Inductive Logic Programming
Learning Simple Recursive Theories
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
Inductive learning from numerical and symbolic data: An integrated framework
Intelligent Data Analysis
ICDAR '05 Proceedings of the Eighth International Conference on Document Analysis and Recognition
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
The Journal of Machine Learning Research
RELATIONAL DATA MINING AND ILP FOR DOCUMENT IMAGE UNDERSTANDING
Applied Artificial Intelligence
Learning Recursive Patterns for Biomedical Information Extraction
Inductive Logic Programming
Proceedings of the 2009 ACM symposium on Applied Computing
A Temporal Data Mining Approach for Discovering Knowledge on the Changes of the Patient's Physiology
AIME '09 Proceedings of the 12th Conference on Artificial Intelligence in Medicine: Artificial Intelligence in Medicine
Learning to order: a relational approach
MCD'07 Proceedings of the 3rd ECML/PKDD international conference on Mining complex data
Discovering explanations from longitudinal data
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Fire! firing inductive rules from economic geography for fire risk detection
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Relational learning: statistical approach versus logical approach in document image understanding
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Spatial clustering of structured objects
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Inductive rule learning on the knowledge level
Cognitive Systems Research
MC-TopLog: complete multi-clause learning guided by a top theory
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
| Hi-index | 0.00 |
Induction of recursive theories in the normal ILP setting is a difficult learning task whose complexity is equivalent to multiple predicate learning. In this paper we propose computational solutions to some relevant issues raised by the multiple predicate learning problem. A separate-and-parallel-conquer search strategy is adopted to interleave the learning of clauses supplying predicates with mutually recursive definitions. A novel generality order to be imposed on the search space of clauses is investigated, in order to cope with recursion in a more suitable way. The consistency recovery is performed by reformulating the current theory and by applying a layering technique, based on the collapsed dependency graph. The proposed approach has been implemented in the ILP system ATRE and tested on some laboratory-sized and real-world data sets. Experimental results demonstrate that ATRE is able to learn correct theories autonomously and to discover concept dependencies. Finally, related works and their main differences with our approach are discussed.