Author:
Zhang MingYi,Zhang Ying,Lin FangZhen
Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. Gelfond M, Lifschitz V. The stable model semantics for logic programming. In: Kowalski R, Bowen K, eds. Logic Programming: Proc. 5-th Int’l Conf. and Symp., Seattle, Washington: MIT Press, 1988, 1070–1080
2. Gelfond M, Lifschitz V. Classical negation in logic programs and disjunctive databases. New Gen Comp, 1991, 9: 365–385
3. Fages F. Consistency of Clark’s completion and existence of stable models. J Methods Logic in Comp Sci, 1994, 1: 51–60
4. Doyle J. A truth maintenance system. Artif Intel, 1979, 12: 231–272
5. Clark K. Negation as failure. In: Gallaire H, Minker J, eds. Logic and Data Bases. New York: Plenum Press, 1978. 293–322
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Splitting Computation of Answer Set Program and Its Application on E-service;International Journal of Computational Intelligence Systems;2011-09
2. A Logic-Program-Based Negotiation Mechanism;Journal of Computer Science and Technology;2009-07