Extending ASPIDE with User-defined Plugins.
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca · 2012
Abstract. ASPIDE is the most comprehensive IDE for Answer Set Programming. We describe how to extend ASPIDE with user-defined plugins by means of three examples for: (i) handling the ASP RuleML input format, (ii) performing disjunctive program shifting, and (iii) generating custom XML output. 1