Publications
- Nardi, B., Reale, K., Ricca, F., Terracina, G.: An
Integrated Environment for Reasoning over Ontologies via Logic
Programming. In: Proc. of 7th International Conference on Web
Reasoning and Rule Systems, RR'2013,
Mannheim, Germany (2013)
- Febbraro, O., Grasso, G., Leone, N., Reale, K., Ricca, F.: Datalog
Development Tools - (Extended Abstract). In: Proc. of International
workshop; 2nd, Datalog in academia and industry, Datalog
2.0, Vienna, Austria (2012)
- Febbraro, O., Leone, N., Reale, K., Ricca, F.: ASPIDE the Integrated Development
Environment for ASP: Progress Report. In: Proc. of 14th
International Workshop on Non-Monotonic Reasoning, NMR'12, Roma, Italy
(2012)
- Febbraro, O., Leone, N., Reale, K., Ricca, F.: Extending ASPIDE with
User-defined Plugins. In: Proc. of Conferenza Italiana Logica
Computazione, CILC'12,
Roma, Italy (2012)
- Febbraro, O., Leone, N., Reale, K., Ricca, F.: Unit Testing in ASPIDE. In
Proceedings of Workshop on Logic Programming, WLP’11, Vienna,
Austria (2011)
- Febbraro, O., Reale, K., Ricca, F.: Testing
ASP programs in ASPIDE. In: Proc. of Conferenza Italiana Logica
Computazione, CILC'11,
Pescara, Italy (2011)
- Febbraro,
O., Reale, K., Ricca, F.: ASPIDE:
Integrated Development Environment for Answer Set Programming.
In: Delgrande, J., Faber, W. (eds.) LPNMR 2011,
LNAI 6645, pp. 317-330, 2011
- Febbraro, O., Reale, K., Ricca, F.: A
Visual Interface for Drawing ASP Programs. In: Proc. of CILC 2010,
Rende, CS, Italy (2010)