Author:
Calimeri Francesco,Cozza Susanna,Ianni Giovambattista,Leone Nicola
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. NGC 9, 365–385 (1991)
2. Lecture Notes in Computer Science;F. Calimeri,2008
3. 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)
4. Calimeri, F., Cozza, S., Ianni, G., Leone, N.: DLV-Complex homepage (since 2008),
http://www.mat.unical.it/dlv-complex
5. Buneman, P., Levy, L.S.: The Towers of Hanoi Problem. Information Processing Letters 10(4/5), 243–244 (1980)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献