ASPIDE: Integrated Development Environment for Answer Set Programming.

Onofrio Febbraro, Kristian Reale, Francesco Ricca

Browse the full LPNMR paper archive.