Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Models of incremental concept formation
Artificial Intelligence
Logic programming and databases
Logic programming and databases
Incremental concept formation with composite objects
Proceedings of the sixth international workshop on Machine learning
New Generation Computing - Selected papers from the international workshop on algorithmic learning theory,1990
IEEE Transactions on Pattern Analysis and Machine Intelligence
Conceptual clustering in a first order logic representation
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
ACM Computing Surveys (CSUR)
Knowledge Acquisition Via Incremental Conceptual Clustering
Machine Learning
An Information-Theoretic Definition of Similarity
ICML '98 Proceedings of the Fifteenth International Conference on Machine Learning
Top-Down Induction of Clustering Trees
ICML '98 Proceedings of the Fifteenth International Conference on Machine Learning
Distance Induction in First Order Logic
ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
Distances and Limits on Herbrand Interpretations
ILP '98 Proceedings of the 8th International Workshop on Inductive Logic Programming
A Generalization Model Based on OI-implication for Ideal Theory Refinement
Fundamenta Informaticae - Intelligent Systems
Unsupervised discretization using kernel density estimation
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Rule induction and instance-based learning a unified approach
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Guiding the search in the NO region of the phase transition problem with a partial subsumption test
ECML'06 Proceedings of the 17th European conference on Machine Learning
Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Intelligent text processing techniques for textual-profile gene characterization
CIBB'09 Proceedings of the 6th international conference on Computational intelligence methods for bioinformatics and biostatistics
Attribute mapping as a foundation of ontology alignment
ACIIDS'11 Proceedings of the Third international conference on Intelligent information and database systems - Volume Part I
A taxonomic generalization technique for natural language processing
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Semantic distance measure between ontology concept's attributes
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part I
Plugging numeric similarity in first-order logic horn clauses comparison
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
A Logic Framework for Incremental Learning of Process Models
Fundamenta Informaticae
Hi-index | 0.00 |
First-Order Logic formulæ are a powerful representation formalism characterized by the use of relations, that cause serious computational problems due to the phenomenon of indeterminacy (various portions of one description are possibly mapped in different ways onto another description). Being able to identify the correct corresponding parts of two descriptions would help to tackle the problem: hence, the need for a framework for the comparison and similarity assessment. This could have many applications in Artificial Intelligence: guiding subsumption procedures and theory revision systems, implementing flexible matching, supporting instance-based learning and conceptual clustering. Unfortunately, few works on this subject are available in the literature. This paper focuses on Horn clauses, which are the basis for the Logic Programming paradigm, and proposes a novel similarity formula and evaluation criteria for identifying the descriptions components that are more similar and hence more likely to correspond to each other, based only on their syntactic structure. Experiments on real-world datasets prove the effectiveness of the proposal, and the efficiency of the corresponding implementation in the above tasks.