ASPIDE: Integrated development environment for answer set programming O Febbraro, K Reale, F Ricca Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 88 | 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 | 83 | 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 | 32 | 2012 |
Unit Testing in ASPIDE O Febbraro, N Leone, K Reale, F Ricca Applications of Declarative Programming and Knowledge Management: 19th …, 2013 | 22 | 2013 |
A Visual Interface for Drawing ASP Programs. O Febbraro, K Reale, F Ricca CILC, 2010 | 18 | 2010 |
Extending ASPIDE with User-defined Plugins. O Febbraro, N Leone, K Reale, F Ricca CILC, 236-240, 2012 | 5 | 2012 |
Datalog development tools O Febbraro, G Grasso, N Leone, K Reale, F Ricca Datalog in Academia and Industry: Second International Workshop, Datalog 2.0 …, 2012 | 5 | 2012 |
Testing ASP programs in ASPIDE. O Febbraro, K Reale, F Ricca CILC, 115-129, 2011 | 2 | 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 ASP: Progress Report O Febbraro, N Leone, K Reale, F Ricca | | 2012 |