Publisher
Springer International Publishing
Reference31 articles.
1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)
2. Busoniu, P., Oetsch, J., Pührer, J., Skocovsky, P., Tompits, H.: SeaLion: An Eclipse-based IDE for answer-set programming with advanced debugging support. Theory Pract. Log. Program. 13(4–5), 657–673 (2013)
3. Calimeri, F., et al.: ASP-Core-2: Input language format. ASP Standardization Working Group (2012)
4. De Vos, M., Kisa, D.G., Oetsch, J., Pührer, J., Tompits, H.: Annotating answer-set programs in Lana. Theory Pract. Log. Program. 12(4–5), 619–637 (2012)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Dodaro,2015