Francesco Ricca

Best Publications

• Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017)

  Giovanni Amendola;Francesco Ricca;Miroslaw Truszczynski

  221
  Citations

• Advances in WASP

  Mario Alviano;Carmine Dodaro;Nicola Leone;Francesco Ricca

  152
  Citations

• Design and results of the Fifth Answer Set Programming Competition

  Francesco Calimeri;Martin Gebser;Marco Maratea;Francesco Ricca

  149
  Citations

• Team-building with answer set programming in the gioia-tauro seaport

  F. Ricca;G. Grasso;M. Alviano;M. Manna

  147
  Citations

• WASP: A Native ASP Solver Based on Constraint Learning

  Mario Alviano;Carmine Dodaro;Wolfgang Faber;Nicola Leone

  126
  Citations

• The ASP System DLV2

  Mario Alviano;Francesco Calimeri;Carmine Dodaro;Davide Fuscà

  104
  Citations

• ASPIDE: integrated development environment for answer set programming

  Unknown

  96
  Citations

• The third answer set programming competition: preliminary report of the system competition track

  Francesco Calimeri;Giovambattista Ianni;Francesco Ricca;Mario Alviano

  86
  Citations

• A MaxSAT algorithm using cardinality constraints of bounded size

  Unknown

  81
  Citations

• OntoDLV: An ASP-based System for Enterprise Ontologies

  Francesco Ricca;Lorenzo Gallucci;Roman Schindlauer;Tina Dell’Armi

  75
  Citations

• The Sixth Answer Set Programming Competition

  Martin Gebser;Marco Maratea;Francesco Ricca

  74
  Citations

• The Fourth Answer Set Programming Competition: Preliminary Report

  Unknown

  74
  Citations

• Disjunctive Logic Programming with types and objects: The DLV + System

  Francesco Ricca;Nicola Leone

  69
  Citations

• Evaluation Techniques and Systems for Answer Set Programming: a Survey

  Martin Gebser;Nicola Leone;Marco Maratea;Simona Perri

  67
  Citations

• The Design of the Sixth Answer Set Programming Competition

  Martin Gebser;Marco Maratea;Francesco Ricca

  57
  Citations

• Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)

  Carmine Dodaro;Philip Gasteiger;Nicola Leone;Benjamin Musitsch

  51
  Citations

• A Logic-Based System for e-Tourism

  Francesco Ricca;Antonella Dimasi;Giovanni Grasso;Salvatore Maria Ielpa

  51
  Citations

• The DLV Java Wrapper.

  Unknown

  50
  Citations

• Evaluation of Disjunctive Programs in WASP

  Mario Alviano;Giovanni Amendola;Carmine Dodaro;Nicola Leone

  45
  Citations

• Optimum stable model search: algorithms and implementation

  Mario Alviano;Carmine Dodaro;Joao Marques-Silva;Francesco Ricca

  43
  Citations