Learning Relations: Basing Top-Down Methods on Inverse Resolution
暂无分享,去创建一个
[1] Stephen Muggleton,et al. Machine Invention of First Order Predicates by Inverting Resolution , 1988, ML.
[2] Donald W. Loveland,et al. Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.
[3] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .
[4] Francesco Bergadano,et al. Inductive Database Relations , 1993, IEEE Trans. Knowl. Data Eng..
[5] Efficient proofs in propositional calculus with inverse resolution , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.
[6] P. Schönemann. On artificial intelligence , 1985, Behavioral and Brain Sciences.
[7] J. R. Quinlan. Learning Logical Definitions from Relations , 1990 .
[8] Francesco Bergadano,et al. An Interactive System to Learn Functional Logic Programs , 1993, IJCAI.