Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Separate-and-Conquer Rule Learning
Artificial Intelligence Review
An extended transformation approach to inductive logic programming
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Approximate Match of Rules Using Backpropagation Neural Networks
Machine Learning
An introduction to inductive logic programming
Relational Data Mining
Automated Software Engineering
The Automated Refinement of a Requirements Domain Theory
Automated Software Engineering
Mind change complexity of learning logic programs
Theoretical Computer Science
The Representation Race - Preprocessing for Handling Time Phenomena
ECML '00 Proceedings of the 11th European Conference on Machine Learning
Learning First Order Logic Time Series Classifiers: Rules and Boosting
PKDD '00 Proceedings of the 4th European Conference on Principles of Data Mining and Knowledge Discovery
Incremental Learning of Functional Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
Mind Change Complexity of Learning Logic Programs
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Relational Learning with Transfer of Knowledge Between Domains
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
LIME: A System for Learning Relations
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Intrusion Detection through Behavioral Data
IDA '99 Proceedings of the Third International Symposium on Advances in Intelligent Data Analysis
ACM SIGKDD Explorations Newsletter
Learning systems and their engineering: a project proposal
Practicing software engineering in the 21st century
Problem identification using program checking
Discrete Applied Mathematics - Fun with algorithms 2 (FUN 2001)
Active Coevolutionary Learning of Deterministic Finite Automata
The Journal of Machine Learning Research
Learning Recursive Theories in the Normal ILP Setting
Fundamenta Informaticae
Mining library specifications using inductive logic programming
Proceedings of the 30th international conference on Software engineering
Analytical Inductive Functional Programming
Logic-Based Program Synthesis and Transformation
An Inductive Logic Programming Approach to Statistical Relational Learning
Proceedings of the 2005 conference on An Inductive Logic Programming Approach to Statistical Relational Learning
Towards learning stochastic logic programs from proof-banks
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Qualitative system identification from imperfect data
Journal of Artificial Intelligence Research
Learning extended logic programs
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Java-based and secure learning agents for information retrieval in distributed systems
Information Sciences: an International Journal
Integrating induction and abduction in logic programming
Information Sciences: an International Journal
The Knowledge Engineering Review
Learning Recursive Theories in the Normal ILP Setting
Fundamenta Informaticae
Hi-index | 0.00 |
From the Publisher:Although Inductive Logic Programming (ILP) is generally thought of as a research area at the intersection of machine learning and computational logic, Bergadano and Gunetti propose that most of the research in ILP has in fact come from machine learning, particularly in the evolution of inductive reasoning from pattern recognition, through initial approaches to symbolic machine learning, to recent techniques for learning relational concepts. In this book they provide an extended, up-to-date survey of ILP, emphasizing methods and systems suitable for software engineering applications, including inductive program development, testing, and maintenance. Inductive Logic Programming includes a definition of the basic ILP problem and its variations (incremental, with queries, for multiple predicates and predicate invention capabilities), a description of bottom-up operators and techniques (such as least general generalization, inverse resolution, and inverse implication), an analysis of top-down methods (mainly MIS and FOIL-like systems), and a survey of methods and languages for specifying inductive bias. Logic Programming series