Inductive Logic Programming: Theory and Methods

[1]  Ranan B. Banerji,et al.  Learning theoretical terms , 1994, COLT 1994.

[2]  Ivan Bratko,et al.  Learning Qualitative Models of Dynamic Systems , 1994, ML.

[3]  William W. Cohen Grammatically Biased Learning: Learning Logic Programs Using an Explicit Antecedent Description Language , 1994, Artif. Intell..

[4]  Yves Deville,et al.  Logic Program Synthesis , 1994, J. Log. Program..

[5]  William W. Cohen Pac-Learning a Restricted Class of Recursive Logic Programs , 1993, AAAI.

[6]  Saso Dzeroski,et al.  The utility of background knowledge in learning medical diagnostic rules , 1993, Appl. Artif. Intell..

[7]  Dennis F. Kibler,et al.  Concept Sharing: A Means to Improve Multi-Concept Learning , 1993, ICML.

[8]  Luc De Raedt,et al.  The Many Faces of Inductive Logic Programming , 1993, ISMIS.

[9]  Yves Deville,et al.  Logic Program Synthesis from Incomplete Specifications , 1993, J. Symb. Comput..

[10]  Rüdiger Wirth,et al.  Two Methods for Improving Inductive Logic Programming Systems , 1993, ECML.

[11]  Jörg-Uwe Kietz,et al.  Some Lower Bounds for the Computational Complexity of Inductive Logic Programming , 1993, ECML.

[12]  Stefan Wrobel,et al.  On the Proper Definition of Minimality in Specialization and Theory Revision , 1993, ECML.

[13]  Peter Idestam-Almquist,et al.  Generalization under Implication by using Or-Introduction , 1993, ECML.

[14]  Shan-Hwei Nienhuys-Cheng,et al.  Subsumption and Refinement in Model Inference , 1993, ECML.

[15]  R. Mike Cameron-Jones,et al.  FOIL: A Midterm Report , 1993, ECML.

[16]  Saso Dzeroski,et al.  Inductive Logic Programming: Techniques and Applications , 1993 .

[17]  Richard A. Lewis,et al.  Drug design by machine learning: the use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase. , 1992, Proceedings of the National Academy of Sciences of the United States of America.

[18]  A. Kakas,et al.  Abductive Logic Programming , 1992, LPNMR.

[19]  Leszek Pacholski,et al.  Undecidability of the Horn-clause implication problem , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.

[20]  Stephen Muggleton,et al.  Protein secondary structure prediction using logic-based machine learning , 1992 .

[21]  Ivan Bratko,et al.  Inductive Learning Applied to Program Construction and Verification , 1992, AIFIPP.

[22]  Luc De Raedt,et al.  A unifying framework for concept-learning algorithms , 1992, The Knowledge Engineering Review.

[23]  Saso Dzeroski,et al.  PAC-learnability of determinate logic programs , 1992, COLT '92.

[24]  Stephen Muggleton,et al.  Towards Inductive Generalization in Higher Order Logic , 1992, ML.

[25]  Ashwin Srinivasan,et al.  Compression, Significance, and Accuracy , 1992, ML.

[26]  Masamichi Shimura,et al.  Refining a Relational Theory with Multiple Faults in the Concept and Subconcepts , 1992, ML.

[27]  Stan Matwin,et al.  Sub-unification: A Tool for Efficient Induction of Recursive Programs , 1992, ML.

[28]  L. D. Raedt Interactive theory revision: an inductive logic programming approach , 1992 .

[29]  Luc De Raedt,et al.  Belief Updating from Integrity Constraints and Queries , 1992, Artif. Intell..

[30]  Luc De Raedt,et al.  Using interactive concept learning for knowledge-base validation and verification , 1991 .

[31]  Leon Sterling,et al.  Refinement Strategies for Inductive Leaming of Simple Prolog Programs , 1991, IJCAI.

[32]  J. Ross Quinlan,et al.  Determinate Literals in Inductive Logic Programming , 1991, IJCAI.

[33]  Rüdiger Wirth,et al.  Constraints on Predicate Invention , 1991, ML.

[34]  C. Feng Inducing Temporal Fault Diagnostic Rules from a Qualitative Model , 1991, ML.

[35]  Masayuki Numao,et al.  Efficient Learning of Logic Programs with Non-determinant, Non-discriminating Literals , 1991, ML.

[36]  Michael J. Pazzani,et al.  An Investigation of Noise-Tolerant Relational Concept Learning Algorithms , 1991, ML.

[37]  Claude Sammut,et al.  Using Inverse Resolution to Learn Relations from Experiments , 1991, ML.

[38]  Raymond J. Mooney,et al.  First-Order Theory Revision , 1991, ML.

[39]  Hendrik Decker,et al.  Drawing Updates From Derivations , 1990, ICDT.

[40]  Luc De Raedt,et al.  Indirect relevance and bias in inductive concept-learning , 1990 .

[41]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[42]  David Haussler,et al.  Applying valiant's learning framework to Al concept-learning problems , 1990 .

[43]  François Bry,et al.  Intensional Updates: Abduction via Deduction , 1990, ICLP.

[44]  Nicolas Helft,et al.  Induction as Nonmonotonic Inference , 1989, KR.

[45]  Luc De Raedt,et al.  Towards Friendly Concept-Learners , 1989, IJCAI.

[46]  Ronald L. Rivest,et al.  Inferring Decision Trees Using the Minimum Description Length Principle , 1989, Inf. Comput..

[47]  Katharina Morik,et al.  Knowledge Representation and Organization in Machine Learning , 1989, Lecture Notes in Computer Science.

[48]  Anthony Tomasic,et al.  View Update Translation via Deduction and Annotation , 1988, ICDT.

[49]  Lorenza Saitta,et al.  Automated Concept Acquisition in Noisy Environments , 1988, IEEE Trans. Pattern Anal. Mach. Intell..

[50]  Stephen Muggleton,et al.  Machine Invention of First Order Predicates by Inverting Resolution , 1988, ML.

[51]  Ranan B. Banerji,et al.  Learning in the Limit in a Growing Language , 1987, IJCAI.

[52]  Stephen Muggleton,et al.  Duce, An Oracle-based Approach to Constructive Induction , 1987, IJCAI.

[53]  Wray L. Buntine,et al.  Induction of Horn Clauses: Methods and the Plausible Generalization Algorithm , 1987, Int. J. Man Mach. Stud..

[54]  Georg Gottlob,et al.  Subsumption and Implication , 1987, Inf. Process. Lett..

[55]  Wray L. Buntine Generalized Subsumption and Its Applications to Induction and Redundancy , 1986, Artif. Intell..

[56]  Michael J. Maher Eqivalences of Logic Programs , 1986, ICLP.

[57]  Alan W. Biermann,et al.  Fundamental Mechanisms in Machine Learning and Inductive Inference , 1985, Advanced Course: Fundamentals of Artificial Intelligence.

[58]  Chris Mellish,et al.  Some Global Optimizations for a Prolog Compiler , 1985, J. Log. Program..

[59]  Leslie G. Valiant,et al.  A theory of the learnable , 1984, STOC '84.

[60]  Claus-Rainer Rollinger,et al.  The Discovery of the Equator or Concept Driven Learning , 1983, IJCAI.

[61]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[62]  Ryszard S. Michalski,et al.  A Theory and Methodology of Inductive Learning , 1983, Artif. Intell..

[63]  John R. Anderson,et al.  Machine learning - an artificial intelligence approach , 1982, Symbolic computation.

[64]  Tom M. Mitchell,et al.  Generalization as Search , 2002 .

[65]  DANA ANGLUIN,et al.  On the Complexity of Minimum Inference of Regular Sets , 1978, Inf. Control..

[66]  J. Rissanen,et al.  Modeling By Shortest Data Description* , 1978, Autom..

[67]  Alan W. Biermann,et al.  The Inference of Regular LISP Programs from Examples , 1978, IEEE Transactions on Systems, Man, and Cybernetics.

[68]  Alan W. Biermann,et al.  Constructing Programs from Example Computations , 1976, IEEE Transactions on Software Engineering.

[69]  S. Vere Induction of concepts in the predicate calculus , 1975, IJCAI 1975.

[70]  Jerome A. Feldman,et al.  On the Synthesis of Finite-State Machines from Samples of Their Behavior , 1972, IEEE Transactions on Computers.

[71]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[72]  Ray J. Solomonoff,et al.  A Formal Theory of Inductive Inference. Part II , 1964, Inf. Control..

[73]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[74]  H. Rice Classes of recursively enumerable sets and their decision problems , 1953 .

[75]  Luc De Raedt,et al.  Inductive logic programming and scientific discovery , 1995 .

[76]  Stephen Muggleton,et al.  Predicate invention and utilization , 1994, J. Exp. Theor. Artif. Intell..

[77]  Francesco Bergadano,et al.  An Interactive System to Learn Functional Logic Programs , 1993, IJCAI.

[78]  ProgramsWilliam W. CohenAT Learnability of Restricted Logic Programs , 1993 .

[79]  Michael J. Pazzani,et al.  HYDRA: A Noise-tolerant Relational Concept Learning Algorithm , 1993, IJCAI.

[80]  Stan Matwin,et al.  Constructive Inductive Logic Programming , 1993, International Joint Conference on Artificial Intelligence.

[81]  Luc De Raedt,et al.  Multiple Predicate Learning , 1993, IJCAI.

[82]  Claude Sammut,et al.  The Origins of Inductive Logic Programming: A Prehistoric Tale , 1993 .

[83]  Luc De Raedt,et al.  A Theory of Clausal Discovery , 1993, IJCAI.

[84]  Jorg-uwe Kietz,et al.  Controlling the Complexity of Learning in Logic through Syntactic and Task-Oriented Models , 1992 .

[85]  Céline Rouveirol,et al.  Extensions of Inversion of Resolution Applied to Theory Completion , 1992 .

[86]  S. Muggleton Inverting Implication , 1992 .

[87]  Alan Bundy,et al.  Logic Program Synthesis via Proof Planning , 1992, LOPSTR.

[88]  Stephen MuggletonThe Compression, Signiicance and Accuracy , 1992 .

[89]  Alan M. Frisch Generalization and Learnability: a Study of Constrained Atoms , 1992 .

[90]  S. Muggleton,et al.  Modelling the structure and function of enzymes by machine learning. , 1992, Faraday discussions.

[91]  Ehud Shapiro,et al.  Inductive Inference of Theories from Facts , 1991, Computational Logic - Essays in Honor of Alan Robinson.

[92]  Michael J. Pazzani,et al.  Relational Clichés: Constraining Induction During Relational Learning , 1991, ML.

[93]  Alan Robinson,et al.  Computational Logic - Essays in Honor of Alan Robinson , 1991, Computational Logic - Essays in Honor of Alan Robinson.

[94]  Stephen Muggleton,et al.  Efficient Induction of Logic Programs , 1990, ALT.

[95]  Tim Niblett,et al.  A Study of Generalisation in Logic Programs , 1988, EWSL.

[96]  Stefan Wrobel,et al.  Automatic Representation Adjustment in an Observational Discovery System , 1988, EWSL.

[97]  Rüdiger Wirth,et al.  Learning by Failure to Prove , 1988, EWSL.

[98]  Stephen Muggleton,et al.  A Strategy for Constructing New Predicates in First-Order Logic , 1988, EWSL.

[99]  Halina Mortimer,et al.  The logic of induction , 1988 .

[100]  Gerda Janssens,et al.  An Instance of Abstract Interpretation Integrating Type and Mode Inferencing , 1988, ICLP/SLP.

[101]  Nicolas Helft,et al.  Learning Systems of First-Order Rules , 1988, ML.

[102]  Katharina Morik,et al.  Sloppy Modeling , 1987, Knowledge Representation and Organization in Machine Learning.

[103]  Sabine Thieme,et al.  The Acquisition of Model-Knowledge for a Model-Driven Machine Learning Approach , 1987, Knowledge Representation and Organization in Machine Learning.

[104]  Prateek Mishra,et al.  Towards a Theory of Types in Prolog , 1984, SLP.

[105]  E. Prince Significance and Accuracy , 1982 .

[106]  P. D. Summers,et al.  Program construction from examples. , 1975 .

[107]  G. Plotkin Automatic Methods of Inductive Inference , 1972 .

[108]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[109]  S. C. Kleene,et al.  Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols , 1952 .

[110]  R. Carnap The continuum of inductive methods , 1952 .