Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference36 articles.
1. K. Apt, H. Balir and A. Walker, Towards a theory of declarative knowledge, in:Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, Los Altos, CA, 1988) pp. 89?142.
2. J.J. Alferes and L.M. Pereira, On logic program semantics with two kinds of negation, in:Int. Joint Conf. and Symp. on Logic Programming, ed. K. Apt (MIT Press, 1992) pp. 574?588.
3. J. Alferes, L. Periera and T.C. Przymusinski, Belief revision in logic programming and non-monotonic reasoning, University of Lisbon and University of California at Riverside (in preparation).
4. J. Alferes, L. Pereira and T.C. Przymusinski, Strong and explicit negation in non-monotonic reasoning and logic programming, University of Lisbon and University of California at Riverside (in preparation).
5. C. Baral, J. Lobo and J. Minker, Generalized disjunctive well-founded semantics for logic programs: Declarative semantics, in:Proc. 5th Int. Symp. on Methodology for Intelligent Systems, eds. Z. Ras and Emrich, ACM SIGMOD-SIGACT-SIGART (North-Holland, 1989).
Cited by
59 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献