Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference28 articles.
1. Apt, K., et al “Towards a Theory of Declarative Knowledge” inFoundation of Deductive and Logic Programming (J. Minker, ed.), Morgan Kaufmann, pp. 89–142, 1988.
2. Bonanti, P., “Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs,”ICLP 1992.
3. Clark, K., “Negation as Failure,” inLogic and Database (H. Galliare and J. Minker, eds.), Plenum Press, New York, pp. 293–322, 1978.
4. Dung, P. and Kanchanasutt, “A Fixpoint Semantics for Logic Programs with Negation,”9th TCS&ST, India, LNCS Notes, 1989.
5. van Emden, M. and Kowalski, R., “The Semantics of Predicate Logic as a Programming Language,”JACM, 23, 4, pp. 733–742, 1976.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献