VIDEAS : Supporting Answer-Set Program Development using Model-Driven Engineering Techniques (2011)

by J Oetsch, J Pührer, M Seidl, H Tompits, P Zwickl
Venue:In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning