Seguir
Onofrio Febbraro
Onofrio Febbraro
Polizia di Stato
Dirección de correo verificada de poliziadistato.it
Título
Citado por
Citado por
Año
ASPIDE: Integrated development environment for answer set programming
O Febbraro, K Reale, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
962011
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
842011
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
International Conference on Applications of Declarative Programming and …, 2011
242011
A Visual Interface for Drawing ASP Programs.
O Febbraro, K Reale, F Ricca
CILC, 2010
182010
Datalog development tools
O Febbraro, G Grasso, N Leone, K Reale, F Ricca
International Datalog 2.0 Workshop, 81-85, 2012
52012
Extending ASPIDE with User-defined Plugins.
O Febbraro, N Leone, K Reale, F Ricca
CILC, 236-240, 2012
52012
Testing ASP programs in ASPIDE.
O Febbraro, K Reale, F Ricca
CILC, 115-129, 2011
32011
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 Answer Set Programming: Progress Report
O Febbraro, N Leone, F Ricca
Atti del convegno" NMR 2012", 1-4, 2012
12012
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–12