Alviano, Mario; Dodaro, Carmine; Fiorentino, Salvatore; Previti, Alessandro; Ricca, Francesco ASP and subset minimality: enumeration, cautious reasoning and MUSes. (English) Zbl 07702961 Artif. Intell. 320, Article ID 103931, 25 p. (2023). MSC: 68Txx × Cite Format Result Cite Review PDF Full Text: DOI OA License
Alviano, Mario; Dodaro, Carmine; Fiorentino, Salvatore; Previti, Alessandro; Ricca, Francesco Enumeration of minimal models and MUSes in WASP. (English) Zbl 07671876 Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 29-42 (2022). MSC: 68N17 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Ricca, Francesco On look-ahead heuristics in disjunctive logic programming. (English) Zbl 1138.68018 Ann. Math. Artif. Intell. 51, No. 2-4, 229-266 (2007). MSC: 68N17 68T27 68T20 × Cite Format Result Cite Review PDF Full Text: DOI