Works by Francesco Ricca

( view other items matching `Francesco Ricca`, view all matches )
5 found
Order:
See also
  1.  18
    Design and results of the Fifth Answer Set Programming Competition.Francesco Calimeri, Martin Gebser, Marco Maratea & Francesco Ricca - 2016 - Artificial Intelligence 231 (C):151-181.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  30
    Paracoherent answer set computation.Giovanni Amendola, Carmine Dodaro, Wolfgang Faber & Francesco Ricca - 2021 - Artificial Intelligence 299 (C):103519.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  22
    New models for generating hard random boolean formulas and disjunctive logic programs.Giovanni Amendola, Francesco Ricca & Miroslaw Truszczynski - 2020 - Artificial Intelligence 279 (C):103185.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  26
    The multi-engine asp solver me-asp.Marco Maratea, Luca Pulina & Francesco Ricca - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 484--487.
    No categories
    $48.07 new   $52.56 used   $54.99 from Amazon    (collection)    View on Amazon.com
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    Disjunctive logic programming with types and objects: The DLV+ system.Francesco Ricca & Nicola Leone - 2007 - Journal of Applied Logic 5 (3):545-573.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark