Author:
Hitzler Pascal,Hölldobler Steffen,Seda Anthony Karel
Subject
Applied Mathematics,Logic
Reference54 articles.
1. A survey and critique of techniques for extracting rules from trained artificial neural networks;Andrews;Knowledge-Based Systems,1995
2. Domain theory;Abramsky,1994
3. Reasoning about termination of pure Prolog programs;Apt;Inform. and Comput.,1993
4. The Elements of Integration;Bartle,1966
5. Characterizing termination of logic programs with level mappings;Bezem,1989
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献