Foundations of logic programming
Foundations of logic programming
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Automated Concept Acquisition in Noisy Environments
IEEE Transactions on Pattern Analysis and Machine Intelligence
Foundations of deductive databases and logic programming
Foundations of deductive databases and logic programming
Belief updating from integrity constraints and queries
Artificial Intelligence
The impact of logic programming on databases
Communications of the ACM
Sub-unification: a tool for efficient induction of recursive programs
ML92 Proceedings of the ninth international workshop on Machine learning
Algorithmic Program DeBugging
Knowledge Discovery in Databases
Knowledge Discovery in Databases
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Classification and Compilation of Linear Recursive Queries in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Learning Logical Definitions from Relations
Machine Learning
Test case generation by means of learning techniques
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Testing by means of inductive program learning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Characterizing Web Service Substitutivity with Combined Deductive and Inductive Engines
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
The difficulties of learning logic programs with cut
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
The concept of an inductive relation is introduced, as a natural development of other forms of intentional information, such as views and relations defined deductively. A class of top-down methods for computing such inductive relations is analyzed. Major problems produced by recursive and interdependent relations are considered.