Francesco Ricca

Marco Manna, Francesco Ricca, Giorgio Terracina: Consistent query answering via ASP from different perspectives: Theory and practice. TPLP 13(2): 227-252 (2013)

Simona Perri, Francesco Ricca, Marco Sirianni: Parallel instantiation of ASP programs: techniques and experiments. TPLP 13(2): 253-278 (2013)

Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca: The Answer Set Programming Competition. AI Magazine 33(4): 114-118 (2012)

Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone: Team-building with answer set programming in the Gioia-Tauro seaport. TPLP 12(3): 361-381 (2012)

Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca: Extending ASPIDE with User-defined Plugins. CILC 2012: 236-240

Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca: Datalog Development Tools - (Extended Abstract). Datalog 2012: 81-85

Marco Maratea, Luca Pulina, Francesco Ricca: Applying Machine Learning Techniques to ASP Solving. ICLP (Technical Communications) 2012: 37-48

Marco Maratea, Luca Pulina, Francesco Ricca: The Multi-Engine ASP Solver me-asp. JELIA 2012: 484-487

Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca: JASP: A Framework for Integrating Answer Set Programming with Java. KR 2012

Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina: Distributed Ontology Based Data Access via Logic Programming. RR 2012: 205-208

Francesco Calimeri, Giovambattista Ianni, Francesco Ricca: The third open Answer Set Programming competition. CoRR abs/1206.3111 (2012)

Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca: Look-back Techniques for ASP Programs with Aggregates. Fundam. Inform. 107(4): 379-413 (2011)

Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca: ASP at Work: Spin-off and Applications of the DLV System. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 432-451

Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni: The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC 2011: 99-113

Onofrio Febbraro, Kristian Reale, Francesco Ricca: Testing ASP programs in ASPIDE. CILC 2011: 115-129

Rosamaria Barilaro, Francesco Ricca, Giorgio Terracina: Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis. LPNMR 2011: 217-222

Onofrio Febbraro, Kristian Reale, Francesco Ricca: ASPIDE: Integrated Development Environment for Answer Set Programming. LPNMR 2011: 317-330

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: The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR 2011: 388-403

Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina: Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis. SEBD 2011: 295-302

Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone: Team-building with Answer Set Programming in the Gioia-Tauro Seaport. CoRR abs/1101.4554 (2011)

Marco Manna, Francesco Ricca, Giorgio Terracina: Consistent Query Answering via ASP from Different Perspectives: Theory and Practice. CoRR abs/1107.4570 (2011)

Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca: Unit Testing in ASPIDE. CoRR abs/1108.5434 (2011)

Simona Perri, Francesco Ricca, Marco Sirianni: Parallel Instantiation of ASP Programs: Techniques and Experiments. CoRR abs/1110.1015 (2011)

Francesco Ricca, Antonella Dimasi, Giovanni Grasso, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna, Nicola Leone: A Logic-Based System for e-Tourism. Fundam. Inform. 105(1-2): 35-55 (2010)

Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca: Answer Set Programming. 25 Years GULP 2010: 159-182

Onofrio Febbraro, Kristian Reale, Francesco Ricca: A Visual Interface for Drawing ASP Programs. CILC 2010

Giovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise: Team-building with Answer Set Programming in the Gioia-Tauro Seaport. CILC 2010

Marco Manna, Francesco Ricca, Giorgio Terracina: Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives. CILC 2010

Simona Perri, Francesco Ricca, Marco Sirianni: Parallel Instantiation in DLV. CILC 2010

Marco Maratea, Francesco Ricca, Pierfrancesco Veltri: DLV^MC: Enhanced Model Checking in DLV. JELIA 2010: 365-368

Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina: Efficient Application of Answer Set Programming for Advanced Data Integration. PADL 2010: 10-24

Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise: An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. PADL 2010: 40-42

Simona Perri, Francesco Ricca, Marco Sirianni: A parallel ASP instantiator based on DLV. DAMP 2010: 73-82

Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, Giovanni Grasso, Nicola Leone: OntoDLV: An ASP-based System for Enterprise Ontologies. J. Log. Comput. 19(4): 643-670 (2009)

Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca: An ASP-Based System for e-Tourism. LPNMR 2009: 368-381

Nicola Leone, Francesco Ricca, Giorgio Terracina: An ASP-Based Data Integration System. LPNMR 2009: 528-534

Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca: Some DLV Applications for Knowledge Management. LPNMR 2009: 591-597

Francesco Calimeri, Simona Perri, Francesco Ricca: Experimenting with parallelism for the instantiation of ASP programs. J. Algorithms 63(1-3): 34-54 (2008)

Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone: Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. J. Algorithms 63(1-3): 70-89 (2008)

Wolfgang Faber, Nicola Leone, Francesco Ricca: Answer Set Programming. Wiley Encyclopedia of Computer Science and Engineering 2008

Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca: On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. 51(2-4): 229-266 (2007)

Francesco Ricca, Nicola Leone: Disjunctive logic programming with types and objects: The DLV⁺ system. J. Applied Logic 5(3): 545-573 (2007)

Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca: Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122

Alfredo Garro, Luigi Palopoli, Francesco Ricca: Exploiting agents in e-learning and skills management context. AI Commun. 19(2): 137-154 (2006)

Francesco Ricca, Wolfgang Faber, Nicola Leone: A backjumping technique for Disjunctive Logic Programming. AI Commun. 19(2): 155-172 (2006)

Wolfgang Faber, Nicola Leone, Francesco Ricca: Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. Intelligenza Artificiale 2(3): 21-28 (2005)

Giovambattista Ianni, Claudio Panetta, Francesco Ricca: Specification of Assessment-test Criteria through ASP Specifications. Answer Set Programming 2005

Wolfgang Faber, Nicola Leone, Francesco Ricca: Heuristics for Hard ASP Programs. IJCAI 2005: 1562-1563

Wolfgang Faber, Francesco Ricca: Solving Hard ASP Programs Efficiently. LPNMR 2005: 240-252

Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso: A DLP System with Object-Oriented Features. LPNMR 2005: 432-436

Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia: An agent system reasoning about the web and the user. WWW (Alternate Track Papers & Posters) 2004: 492-493

Francesco Ricca: The DLV Java Wrapper. APPIA-GULP-PRODE 2003: 263-274

Francesco Ricca: A Java Wrapper for DLV. Answer Set Programming 2003