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
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