Learning atomic formulas with prescribed properties
COLT' 98 Proceedings of the eleventh annual conference on Computational learning theory
Learning Function-Free Horn Expressions
Machine Learning - The Eleventh Annual Conference on computational Learning Theory
An extended transformation approach to inductive logic programming
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Extracting Context-Sensitive Models in Inductive Logic Programming
Machine Learning
Logic-based artificial intelligence
An introduction to inductive logic programming
Relational Data Mining
Relational rule induction with CPROGO14.4: a tutorial introductuon
Relational Data Mining
How to upgrade propositional learners to first order logic: case study
Relational Data Mining
Logic Program Synthesis as Problem Reduction Using Combining Forms
Automated Software Engineering
Learning closed horn expressions
Information and Computation
Toward effective knowledge acquisition with first-order logic induction
Journal of Computer Science and Technology
Mind change complexity of learning logic programs
Theoretical Computer Science
Macro-Operators in Multirelational Learning: A Search-Space Reduction Technique
ECML '02 Proceedings of the 13th European Conference on Machine Learning
Challenges for Inductive Logic Programming
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
A Formal Ontology Discovery from Web Documents
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Characterizing Web Service Substitutivity with Combined Deductive and Inductive Engines
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
Least Generalization under Relative Implication
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Efficient Relational Learning from Sparse Data
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Minimal Answer Computation and SOL
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Nonmonotonic Inductive Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Stability of Example-Driven Learning Systems: A Case Study in Multirelational Learning
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Refining Logic Theories under OI-Implication
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Minimal Generalizations under OI-Implication
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Learnability and Definability in Trees and Similar Structures
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Mind Change Complexity of Learning Logic Programs
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Learning Range Restricted Horn Expressions
EuroCOLT '99 Proceedings of the 4th European Conference on Computational Learning Theory
Automatic Keyword Extraction Using Domain Knowledge
CICLing '01 Proceedings of the Second International Conference on Computational Linguistics and Intelligent Text Processing
How to Upgrade Propositional Learners to First Order Logic: A Case Study
Machine Learning and Its Applications, Advanced Lectures
Learning a Go Heuristic with TILDE
CG '00 Revised Papers from the Second International Conference on Computers and Games
Logical Aspects of Several Bottom-Up Fittings
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Scalability Issues in Inductive Logic Programming
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
LIME: A System for Learning Relations
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
ALT '99 Proceedings of the 10th International Conference on Algorithmic Learning Theory
Learning, Logic, and Topology in a Common Framework
ALT '02 Proceedings of the 13th International Conference on Algorithmic Learning Theory
Towards the Integration of Inductive and Nonmonotonic Logic Programming
Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
A Noise Resistant Model Inference System
DS '99 Proceedings of the Second International Conference on Discovery Science
A General Theory of Deduction, Induction, and Learning
DS '01 Proceedings of the 4th International Conference on Discovery Science
Relational Association Rules: Getting WARMeR
Proceedings of the ESF Exploratory Workshop on Pattern Detection and Discovery
A Bounded Search Space of Clausal Theories
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Searching the Subsumption Lattice by a Genetic Algorithm
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
A Refinement Operator for Description Logics
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
New Conditions for the Existence of Least Generalizations under Relative Subsumption
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
A Note on Two Simple Transformations for Improving the Efficiency of an ILP System
ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
A Refinement Operator for Theories
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Induction, Abduction, and Consequence-Finding
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Theta-Subsumption in a Constraint Satisfaction Perspective
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Application of Pruning Techniques for Propositional Learning to Progol
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
DS '01 Proceedings of the 4th International Conference on Discovery Science
Learning power and language expressiveness
Theoretical Computer Science - Australasian computer science
Learning comprehensible theories from structured data
Advanced lectures on machine learning
An empirical study of the use of relevance information in inductive logic programming
The Journal of Machine Learning Research
Relational learning as search in a critical region
The Journal of Machine Learning Research
Query transformations for improving the efficiency of ilp systems
The Journal of Machine Learning Research
Ontology extraction and conceptual modeling for web information
Information modeling for internet applications
Multi-relational data mining: an introduction
ACM SIGKDD Explorations Newsletter
Scalability and efficiency in multi-relational data mining
ACM SIGKDD Explorations Newsletter
ACM SIGKDD Explorations Newsletter
Learning Rules for Conceptual Structure on the Web
Journal of Intelligent Information Systems
Induction as Consequence Finding
Machine Learning
Fast Theta-Subsumption with Constraint Satisfaction Algorithms
Machine Learning
Inducing Multi-Level Association Rules from Multiple Relations
Machine Learning
ICML '04 Proceedings of the twenty-first international conference on Machine learning
Induction from answer sets in nonmonotonic logic programs
ACM Transactions on Computational Logic (TOCL)
Ordering default theories and nonmonotonic logic programs
Theoretical Computer Science
Unifying logic, topology and learning in parametric logic
Theoretical Computer Science - Algorithmic learning theory(ALT 2002)
Effective rule induction from labeled graphs
Proceedings of the 2006 ACM symposium on Applied computing
Evolutionary concept learning in first order logic: an overview
AI Communications
Learning fuzzy rules with their implication operators
Data & Knowledge Engineering
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
First-Order Logical Neural Networks
International Journal of Hybrid Intelligent Systems - Recent developments in Hybrid Intelligent Systems
Nonmonotonic inductive logic programming by instance patterns
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Relational peculiarity-oriented mining
Data Mining and Knowledge Discovery
Discovery of spatial association rules in geo-referenced census data: A relational mining approach
Intelligent Data Analysis
RELATIONAL DATA MINING AND ILP FOR DOCUMENT IMAGE UNDERSTANDING
Applied Artificial Intelligence
Building rules on top of ontologies for the semantic web with inductive logic programming
Theory and Practice of Logic Programming
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification
Inductive Logic Programming
On the Missing Link Between Frequent Pattern Discovery and Concept Formation
Inductive Logic Programming
Word Sense Disambiguation Using Inductive Logic Programming
Inductive Logic Programming
Hybrid Learning of Ontology Classes
MLDM '07 Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
A Note on Refinement Operators for IE-Based ILP Systems
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Towards Machine Learning of Grammars and Compilers of Programming Languages
ECML PKDD '08 Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II
A Learning Classifier System Approach to Relational Reinforcement Learning
Learning Classifier Systems
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
Inductive Negotiation in Answer Set Programming
Declarative Agent Languages and Technologies VI
Kernel Functions Based on Derivation
New Frontiers in Applied Data Mining
New Frontiers in Artificial Intelligence
An Inductive Logic Programming Approach to Statistical Relational Learning
Proceedings of the 2005 conference on An Inductive Logic Programming Approach to Statistical Relational Learning
Two Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology Refinement
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Generality and equivalence relations in default logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Medical knowledge induction with higher-order horn clauses and meta-programming
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
Spaces of theories with ideal refinement operators
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
OI-implication: soundness and refutation completeness
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
An ILP System for Learning Head Output Connected Predicates
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Taming the Complexity of Inductive Logic Programming
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Knowledge induction from medical databases with higher-order programming
WSEAS Transactions on Information Science and Applications
The subsumption lattice and query learning
Journal of Computer and System Sciences
Learning first order fuzzy logic rules
IFSA'03 Proceedings of the 10th international fuzzy systems association World Congress conference on Fuzzy sets and systems
Facts and fallacies in using genetic algorithms for learning clauses in first-order logic
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartI
A genetic algorithms approach to ILP
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Noise-resistant incremental relational learning using possible worlds
ILP'02 Proceedings of the 12th international conference on Inductive logic programming
Learning to order: a relational approach
MCD'07 Proceedings of the 3rd ECML/PKDD international conference on Mining complex data
A multi-relational hierarchical clustering method for DATALOG knowledge bases
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Towards a logical reconstruction of CF-induction
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Induction of optimal semantic semi-distances for clausal knowledge bases
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
A refinement operator based learning algorithm for the ALC description logic
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Foundations of refinement operators for description logics
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Using ILP to construct features for information extraction from semi-structured text
ILP'07 Proceedings of the 17th international conference on Inductive logic programming
Fuzzy Clustering for Semantic Knowledge Bases
Fundamenta Informaticae - Methodologies for Intelligent Systems
Theory and Practice of Logic Programming
Inductive logic programming in databases: From datalog to $\mathcal{dl}+log}^{\neg\vee}$
Theory and Practice of Logic Programming
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Ideal downward refinement in the EL description logic
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
ProGolem: a system based on relative minimal generalisation
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
Can ILP be applied to large datasets?
ILP'09 Proceedings of the 19th international conference on Inductive logic programming
ORE - a tool for repairing and enriching knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part II
Class expression learning for ontology engineering
Web Semantics: Science, Services and Agents on the World Wide Web
Tractability and Learnability Arising from Algebras with Few Subpowers
SIAM Journal on Computing
Exploring relations between answer set programs
Logic programming, knowledge representation, and nonmonotonic reasoning
AutoSPARQL: let users query your knowledge base
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
Subsumption of vertical viewpoint patterns
MCM'11 Proceedings of the Third international conference on Mathematics and computation in music
Fr-ONT: an algorithm for frequent concept mining with formal ontologies
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Introduction to linked data and its lifecycle on the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Towards learning fuzzy DL inclusion axioms
WILF'11 Proceedings of the 9th international conference on Fuzzy logic and applications
Practice of inductive reasoning on the semantic web: a system for semantic web mining
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Avoiding order effects in incremental learning
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
A counterfactual-based learning algorithm for ALC description logic
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
A methodology for building semantic web mining systems
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Unique state and automatical action abstracting based on logical MDPs with negation
ICNC'06 Proceedings of the Second international conference on Advances in Natural Computation - Volume Part II
Generality relations in answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Strategy learning for reasoning agents
ECML'05 Proceedings of the 16th European conference on Machine Learning
On generalization and subsumption for ordered clauses
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
Possibilistic inductive logic programming
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Mining the semantic web: a logic-based methodology
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
A survey on statistical relational learning
AI'10 Proceedings of the 23rd Canadian conference on Advances in Artificial Intelligence
Towards an inductive methodology for ontology alignment through instance negotiation
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Inductive equivalence of logic programs
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
A study of applying dimensionality reduction to restrict the size of a hypothesis space
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
A pattern-based approach to conceptual clustering in FOL
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
ICGI'06 Proceedings of the 8th international conference on Grammatical Inference: algorithms and applications
Frequent pattern discovery from OWL DLP knowledge bases
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
Inductive logic programming by instance patterns
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Inductive logic programming: yet another application of logic
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
An integrated distance for atoms
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Similarity of documents based on the vector sequence model
IHI'04 Proceedings of the 2004 international conference on Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets
Towards discovery of frequent patterns in description logics with rules
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Engineering trust alignment: Theory, method and experimentation
International Journal of Human-Computer Studies
Comparison of upward and downward generalizations in CF-Induction
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Compile the Hypothesis Space: Do it Once, Use it Often
Fundamenta Informaticae - Progress on Multi-Relational Data Mining
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
Towards efficient named-entity rule induction for customizability
EMNLP-CoNLL '12 Proceedings of the 2012 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning
Concept learning for EL++ by refinement and reinforcement
PRICAI'12 Proceedings of the 12th Pacific Rim international conference on Trends in Artificial Intelligence
Nearly exact mining of frequent trees in large networks
ECML PKDD'12 Proceedings of the 2012 European conference on Machine Learning and Knowledge Discovery in Databases - Volume Part I
Universal OWL axiom enrichment for large knowledge bases
EKAW'12 Proceedings of the 18th international conference on Knowledge Engineering and Knowledge Management
AL-QuIn: An Onto-Relational Learning System for Semantic Web Mining
International Journal on Semantic Web & Information Systems
Journal of Web Engineering
Exploration in relational domains for model-based reinforcement learning
The Journal of Machine Learning Research
Introduction to linked data and its lifecycle on the web
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Mining closed patterns in relational, graph and network data
Annals of Mathematics and Artificial Intelligence
A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Hi-index | 0.00 |