Onofrio Febbraro

According to our database, Onofrio Febbraro authored at least 10 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

A graphic tool for ontology reasoning under Datalog^∃.

Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri

Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Development Tools for Datalog.

Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca

Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

2012

JASP: A Framework for Integrating Answer Set Programming with Java.

Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Datalog Development Tools - (Extended Abstract).

Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca

Proceedings of the Datalog in Academia and Industry - Second International Workshop, 2012

Extending ASPIDE with User-defined Plugins.

Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

ASPIDE: Integrated Development Environment for Answer Set Programming.

Onofrio Febbraro, Kristian Reale, Francesco Ricca

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Unit Testing in ASPIDE.

Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Testing ASP programs in ASPIDE.

Onofrio Febbraro, Kristian Reale, Francesco Ricca

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

2010

A Visual Interface for Drawing ASP Programs.

Onofrio Febbraro, Kristian Reale, Francesco Ricca

Proceedings of the 25th Italian Conference on Computational Logic, 2010