Understandability and Semantic Interoperability of Diverse Rules Systems
暂无分享，去创建一个
[1] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[2] Adrian Walker,et al. Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete , 1993, Journal of Automated Reasoning.
[3] Michael J. Maher,et al. Foundations of Deductive Databases and Logic Programming , 1988 .