Tractability of Theory Patching
暂无分享,去创建一个
[1] S. Wrobel. First Order Theory Reenement , 1996 .
[2] Raymond J. Mooney,et al. Theory Refinement Combining Analytical and Empirical Methods , 1994, Artif. Intell..
[3] Leslie G. Valiant,et al. A theory of the learnable , 1984, CACM.
[5] Luc De Raedt,et al. RUTH: an ILP Theory Revision System , 1994, ISMIS.
[6] Raymond J. Mooney,et al. First-Order Theory Revision , 1991, ML.
[7] Ronen Feldman,et al. Bias-Driven Revision of Logical Domain Theories , 1993, J. Artif. Intell. Res..
[8] L. D. Raedt. Interactive theory revision: an inductive logic programming approach , 1992 .
[9] James Wogulis. Revising Relational Domain Theories , 1991, ML.
[10] Raymond J. Mooney,et al. Extending Theory Refinement to M-of-N Rules , 1993, Informatica.
[11] S. Wrobel. Concept Formation and Knowledge Revision , 1994, Springer US.
[12] Patrick Henry Winston,et al. Learning physical descriptions from functional definitions , 1983, AAAI 1983.
[13] Michael R. Lowry,et al. Learning Physical Descriptions From Functional Definitions, Examples, and Precedents , 1983, AAAI.
[14] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[15] D. Ourston. Using explanation-based and empirical methods in theory revision , 1991 .