Author:
Febbraro Onofrio,Reale Kristian,Ricca Francesco
Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. NGC 9, 365–385 (1991)
2. Lifschitz, V.: Answer Set Planning. In: ICLP 1999, pp. 23–37 (1999)
3. Eiter, T., Gottlob, G., Mannila, H.: Disjunctive Datalog. ACM TODS 22(3), 364–418 (1997)
4. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM TOCL 7(3), 499–562 (2006)
5. Simons, P.: Smodels Homepage (since 1996),
http://www.tcs.hut.fi/Software/smodels/
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献