Author:
Costantini Stefania,De Gasperis Giovanni,Nazzicone Giulio
Publisher
Springer International Publishing
Reference18 articles.
1. Lecture Notes in Computer Science;S. Costantini,2011
2. Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)
3. Lecture Notes in Artificial Intelligence;N. Leone,2007
4. Lecture Notes in Computer Science;M. Truszczyński,2007
5. Web-references: Some ASP solvers Clasp,
potassco.sourceforge.net
; Cmodels,
www.cs.utexas.edu/users/tag/cmodels
; DLV,
www.dbai.tuwien.ac.at/proj/dlv
; Smodels,
www.tcs.hut.fi/Software/smodels
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献