Onofrio Febbraro
Onofrio Febbraro
Polizia di Stato
Bestätigte E-Mail-Adresse bei poliziadistato.it
Titel
Zitiert von
Zitiert von
Jahr
ASPIDE: Integrated development environment for answer set programming
O Febbraro, K Reale, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
812011
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, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
812011
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
292012
Unit Testing in ASPIDE
O Febbraro, N Leone, K Reale, F Ricca
Applications of Declarative Programming and Knowledge Management, 345-364, 2011
202011
A Visual Interface for Drawing ASP Programs.
O Febbraro, K Reale, F Ricca
CILC, 2010
172010
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
A graphic tool for ontology reasoning under Datalog∃
O Febbraro, N Leone, F Ricca, G Terracina, P Veltri
Universita Reggio Calabria and Centro di Competenza (ICT-SUD), 2013
12013
Testing ASP programs in ASPIDE.
O Febbraro, K Reale, F Ricca
CILC, 115-129, 2011
12011
ASPIDE the Integrated Development Environment for ASP: Progress Report
O Febbraro, N Leone, K Reale, F Ricca
2012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–10