Author:
Calimeri Francesco,Ianni Giovambattista
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Babovich, Y., Maratea, M.: Cmodels-2: Sat-based answer sets solver enhanced to non-tight programs (2003), http://www.cs.utexas.edu/users/tag/cmodels.html
2. Bonatti, P.A.: Reasoning with infinite stable models. AI 156(1), 75–111 (2004)
3. Cabibbo, L.: The Expressive Power of Stratified Logic Programs with Value Invention. Inf. Comput. 147(1), 22–56 (1998)
4. Lecture Notes in Artificial Intelligence;C. Cumbo,2004
5. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and Expressive Power of Logic Programming. ACM CS 33(3), 374–425 (2001)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献