ASPIDE: Integrated development environment for answer set programming O Febbraro, K Reale, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning
, 2011 | 102 | 2011 |
The third answer set programming competition: Preliminary report of the system competition track F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ... Logic Programming and Nonmonotonic Reasoning: 11th International Conference
, 2011 | 88 | 2011 |
JASP: A framework for integrating answer set programming with Java O Febbraro, N Leone, G Grasso, F Ricca Thirteenth International Conference on the Principles of Knowledge
, 2012 | 34 | 2012 |
Unit Testing in ASPIDE O Febbraro, N Leone, K Reale, F Ricca International Conference on Applications of Declarative Programming and
, 2011 | 25 | 2011 |
A Visual Interface for Drawing ASP Programs. O Febbraro, K Reale, F Ricca CILC, 2010 | 18 | 2010 |
Datalog development tools O Febbraro, G Grasso, N Leone, K Reale, F Ricca International Datalog 2.0 Workshop, 81-85, 2012 | 5 | 2012 |
Extending ASPIDE with User-defined Plugins. O Febbraro, N Leone, K Reale, F Ricca CILC, 236-240, 2012 | 5 | 2012 |
Testing ASP programs in ASPIDE. O Febbraro, K Reale, F Ricca CILC, 115-129, 2011 | 3 | 2011 |
A graphic tool for ontology reasoning under Datalog∃ O Febbraro, N Leone, F Ricca, G Terracina, P Veltri 21st Italian Symposium on Advanced Database Systems, SEBD 2013, 51-62, 2013 | 1 | 2013 |
ASPIDE the Integrated Development Environment for Answer Set Programming: Progress Report O Febbraro, N Leone, F Ricca Atti del convegno" NMR 2012", 1-4, 2012 | 1 | 2012 |
Development tools for datalog O Febbraro, G Grasso, N Leone, F Ricca 21st Italian Symposium on Advanced Database Systems, SEBD 2013, 2013 | | 2013 |
ASPIDE the Integrated Development Environment for ASP: Progress Report O Febbraro, N Leone, K Reale, F Ricca | | 2012 |