Abduction in machine learning
暂无分享,去创建一个
[1] Elaine J. Weyuker,et al. Assessing Test Data Adequacy through Program Inference , 2019, TOPL.
[2] Michael J. Pazzani,et al. A Knowledge-intensive Approach to Learning Relational Concepts , 1991, ML.
[3] Luc De Raedt,et al. Applications of a Logical Discovery Engine , 1994, KDD Workshop.
[4] Vincenzo Cutello,et al. Probably approximately correct learning in fuzzy classification systems , 1995, IEEE Trans. Fuzzy Syst..
[5] J. R. Quinlan. Learning Logical Definitions from Relations , 1990 .
[6] Lotfi A. Zadeh,et al. Fuzzy Sets , 1996, Inf. Control..
[7] Francesco Bergadano,et al. Deduction in Top-Down Inductive Learning , 1989, ML.
[8] William E. Howden,et al. Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.
[9] Francesco Bergadano,et al. Testing by means of inductive program learning , 1996, TSEM.
[10] Francesco Bergadano,et al. An Interactive System to Learn Functional Logic Programs , 1993, IJCAI.
[11] Luc De Raedt,et al. CLINT : a multi-strategy interactive concept-learner and theory revision system , 1991 .
[12] J. Davenport. Editor , 1960 .
[13] Didier Dubois,et al. Fuzzy sets and systems ' . Theory and applications , 2007 .
[14] George J. Klir,et al. Fuzzy sets, uncertainty and information , 1988 .
[15] Francesco Bergadano,et al. Inductive Logic Programming: From Machine Learning to Software Engineering , 1995 .
[16] Thomas Ellman,et al. Explanation-based learning: a survey of programs and perspectives , 1989, CSUR.
[17] William W. Cohen. Abductive explanation-based learning: A solution to the multiple inconsistent explanation problem , 1992, Machine Learning.
[18] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .
[19] Leslie G. Valiant,et al. A theory of the learnable , 1984, STOC '84.
[20] A. Jefferson Offutt,et al. Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..
[21] Léa Sombé. Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example , 1990, Int. J. Intell. Syst..
[22] Vincenzo Cutello,et al. Learning Membership Functions , 1993, ECSQARU.
[23] Stephen Muggleton,et al. Efficient Induction of Logic Programs , 1990, ALT.
[24] K. N. King,et al. A fortran language system for mutation‐based software testing , 1991, Softw. Pract. Exp..
[25] Leslie G. Valiant,et al. Computational limitations on learning from examples , 1988, JACM.
[26] Tom Michael Mitchell,et al. Explanation-based generalization: A unifying view , 1986 .
[27] Francesco Bergadano,et al. A Knowledge Intensive Approach to Concept Induction , 1988, ML Workshop.