Author:
Liu Yanhong A.,Stoller Scott D.
Publisher
Springer International Publishing
Reference25 articles.
1. Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufman (1988)
2. Apt, K.R., Bol, R.N.: Logic programming and negation: a survey. J. Log. Program. 19, 9–71 (1994)
3. Bruynooghe, M., Denecker, M., Truszczynski, M.: First order logic with inductive definitions for model-based problem solving. AI Mag. 37(3), 69–80 (2016)
4. Chan, D.: Constructive negation based on the completed database. In: Proceedings of the 5th International Conference and Symposium on Logic Programming, pp. 111–125. MIT Press (1988)
5. Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293–322. Plenum Press (1978)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献