Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Incremental learning of concept descriptions: A method and experimental results
Machine intelligence 11
Logic programming and databases
Logic programming and databases
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
IEEE Transactions on Pattern Analysis and Machine Intelligence
Multistrategy Learning and Theory Revision
Machine Learning - Special issue on multistrategy learning
Existence and nonexistence of complete refinement operators
ECML-94 Proceedings of the European conference on machine learning on Machine Learning
Interactive theory revision: an inductive logic programming approach
Interactive theory revision: an inductive logic programming approach
Automated Refinement of First-Order Horn-Clause Domain Theories
Machine Learning
An interference matching technique for inducing abstractions
Communications of the ACM
Concept Formation and Knowledge Revision
Concept Formation and Knowledge Revision
Algorithmic Program DeBugging
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Towards Refinement of Definite Logic Programs
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Locally Finite, Proper and Complete Operators for Refining Datalog Programs
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
AI*IA '95 Proceedings of the 4th Congress of the Italian Association for Artificial Intelligence on Topics in Artificial Intelligence
Multistrategy Learning of Rules for Automated Classification of Cultural Heritage Material
ICADL '02 Proceedings of the 5th International Conference on Asian Digital Libraries: Digital Libraries: People, Knowledge, and Technology
Cooperation of Multiple Strategies for Automated Learning in Complex Environments
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Document Classification and Interpretation through the Inference of Logic-Based Models
ECDL '01 Proceedings of the 5th European Conference on Research and Advanced Technology for Digital Libraries
Integrated Architectures for Machine Learning
Machine Learning and Its Applications, Advanced Lectures
Learning Logic Models for Automated Text Categorization
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Learning from parsed sentences with INTHELEX
ConLL '00 Proceedings of the 2nd workshop on Learning language in logic and the 4th conference on Computational natural language learning - Volume 7
A Generalization Model Based on OI-implication for Ideal Theory Refinement
Fundamenta Informaticae - Intelligent Systems
Learning Recursive Theories in the Normal ILP Setting
Fundamenta Informaticae
Multistrategy Operators for Relational Learning and Their Cooperation
Fundamenta Informaticae
Inference of abduction theories for handling incompleteness in first-order learning
Knowledge and Information Systems - Special Issue on Mining Low-Quality Data
Incremental learning and concept drift in INTHELEX
Intelligent Data Analysis
Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Spaces of theories with ideal refinement operators
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
An overview of AI research in Italy
Artificial intelligence
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
Incremental learning of relational action models in noisy environments
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Hybrid learning system for adaptive complex event processing
ICAIS'11 Proceedings of the Second international conference on Adaptive and intelligent systems
Information Sciences: an International Journal
Learning the bias of a classifier in a GA-Based inductive learning environment
ICIC'05 Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part I
Multistrategy Operators for Relational Learning and Their Cooperation
Fundamenta Informaticae
Learning Recursive Theories in the Normal ILP Setting
Fundamenta Informaticae
A Generalization Model Based on OI-implication for Ideal heory Refinement
Fundamenta Informaticae - Intelligent Systems
A Logic Framework for Incremental Learning of Process Models
Fundamenta Informaticae
| Hi-index | 0.00 |
This paper presents an integration of induction andabduction in INTHELEX, a prototypical incremental learning system.The refinement operators perform theory revision in a search spacewhose structure is induced by a quasi-ordering, derived fromPlotkin's &thetas;-subsumption, compliant with the principle ofObject Identity. A reduced complexity of the refinement is obtained,without a major loss in terms of expressiveness. These inductiveoperators have been proven ideal for this searchspace. Abduction supports the inductive operators in the completion of theincoming new observations. Experiments have been run on a standarddataset about family trees as well as in the domain of documentclassification to prove the effectiveness of such multistrategyincremental learning system with respect to a classical batchalgorithm.