Follow
Onofrio Febbraro
Onofrio Febbraro
Polizia di Stato
Verified email at poliziadistato.it
Title
Cited by
Cited by
Year
ASPIDE: Integrated development environment for answer set programming
O Febbraro, K Reale, F Ricca
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
882011
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
832011
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
322012
Unit Testing in ASPIDE
O Febbraro, N Leone, K Reale, F Ricca
Applications of Declarative Programming and Knowledge Management: 19th …, 2013
222013
A Visual Interface for Drawing ASP Programs.
O Febbraro, K Reale, F Ricca
CILC, 2010
182010
Extending ASPIDE with User-defined Plugins.
O Febbraro, N Leone, K Reale, F Ricca
CILC, 236-240, 2012
52012
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
52012
Testing ASP programs in ASPIDE.
O Febbraro, K Reale, F Ricca
CILC, 115-129, 2011
22011
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
12013
ASPIDE the Integrated Development Environment for ASP: Progress Report
O Febbraro, N Leone, K Reale, F Ricca
2012
The system can't perform the operation now. Try again later.
Articles 1–10