Author:
Bagai Rajiv,Sunderraman Rajshekhar
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Information Systems,Software
Reference15 articles.
1. Apt, K.R., Blair, H.A., and Walker, A. (1988). Towards a theory of declarative knowledge. In Jack Minker (Ed.),Foundations of Deductive Databases and Logic Programming (pp. 89?148). Morgan Kaufmann.
2. BagaiR., BezemM., and vanEmdenM.H. (1990). On downward closure ordinals of logic programs.Fundamenta Informaticae, XIII(1), 67?83.
3. ChenW. and WarrenD.S. (1992). A goal-oriented approach to computing well founded semantics.Proceedings of the Joint International Conference and Symposium on Logic Programming. Washington, D.C.: MIT Press.
4. FittingM. (1985). A Kripke-Kleene semantics for logic programs.Journal of Logic Programming, 4, 295?312.
5. GelfondM. and LifschitzV. (1988). The stable model semantics for logic programming.Proceedings of the 5th International Conference and Symposium on Logic Programming (pp. 1070?1080). Seattle, WA: MIT Press.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献