Onofrio Febbraro

11 papers A* 1B 2Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2013 — conf
A graphic tool for ontology reasoning under Datalog
SEBD
Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri
2013 — conf
Development Tools for Datalog.
SEBD
Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca
2012 — conf
Datalog Development Tools - (Extended Abstract).
Datalog
Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca
2012 — conf
Extending ASPIDE with User-defined Plugins.
CILC
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2012 A* conf
JASP: A Framework for Integrating Answer Set Programming with Java.
KR
Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca
2011 B conf
ASPIDE: Integrated Development Environment for Answer Set Programming.
LPNMR
Onofrio Febbraro, Kristian Reale, Francesco Ricca
2011 — conf
Testing ASP programs in ASPIDE.
CILC
Onofrio Febbraro, Kristian Reale, Francesco Ricca
2011 B conf
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
LPNMR
Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri
2011 J jnl
Unit Testing in ASPIDE
CoRR
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2011 — conf
Unit Testing in ASPIDE.
INAP/WLP
Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca
2010 — conf
A Visual Interface for Drawing ASP Programs.
CILC
Onofrio Febbraro, Kristian Reale, Francesco Ricca