Author:
Anh Han The,Kencana Ramli Carroline D. P.,Damásio Carlos Viegas
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Lecture Notes in Computer Science;C. Baral,2003
2. Castro, L., Swift, T., Warren, D.S.: Xasp: Answer set programming with xsb and smodels, http://xsb.sourceforge.net/packages/xasp.pdf
3. The xsb system version 3.0 volume 2: Libraries, interfaces and packages (2006)
4. Urgen Dix, J.: A classification theory of semantics of normal logic programs. Fundamenta Informaticae 22, 257–288 (1995)
5. Swift, T.: Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence 25(3-4), 201–240 (1999)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献