Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Clark, K.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293–322. Plenum Press, New York (1978)
2. Ferraris, P., Lifschitz, V.: Weight constraints as nested expressions. Theory and Practice of Logic Programming 5, 45–74 (2005)
3. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385 (1991)
4. Giunchiglia, E., Lierler, Y., Maratea, M.: Sat-based answer set programming. In: Proc. AAAI 2004, pp. 61–66 (2004)
5. Janhunen, T., et al.: GnT (Generate’n’Test): A Solver for Disjunctive Logic Programs (2005), Available under
http://www.tcs.hut.fi/Software/gnt/
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献