5 found
Order:
See also
  1. 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.
  2.  9
    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  
  3.  16
    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
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  2
    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  
  5.  4
    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