Author:
Ferraris Paolo,Lee Joohyung,Lifschitz Vladimir
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference23 articles.
1. Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum, New York (1978)
2. Erdem, E., Lifschitz, V.: Tight logic programs. Theory and Pract. Log. Prog. 3, 499–518 (2003)
3. Fages, F.: Consistency of Clark’s completion and existence of stable models. J. Meth. Log. Comput. Sci. 1, 51–60 (1994)
4. Ferraris P., Lifschitz V.: Mathematical foundations of answer set programming. In: We Will Show Them! Essays in Honour of Dov Gabbay, vol. 1, pp. 615–665. King’s College, London (2005)
5. Ferraris P.: Answer sets for propositional theories. In: Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Cosenza, Italy, 119–131 (2005)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献