Trepo - Selaus tekijän mukaan "Fabiano, Francesco"

Viitteet 1-1 / 1

    • Generalizing Level Ranking Constraints for Monotone and Convex Aggregates 

      Janhunen, Tomi; Costantini, Stefania; Pontelli, Enrico; Russo, Alessandra; Toni, Francesca; Calegari, Roberta; D'Avila Garcez, Artur; Dodaro, Carmina; Fabiano, Francesco; Gaggl, Sarah; Mileo, Alessandra (Open Publishing Association, 09 / 2023)
      conferenceObject
      In answer set programming (ASP), answer sets capture solutions to search problems of interest and thus the efficient computation of answer sets is of utmost importance. One viable implementation strategy is provided by ...