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 .