Giordano, Laura; Gliozzi, Valentina A reconstruction of multipreference closure. (English) Zbl 1504.68210 Artif. Intell. 290, Article ID 103398, 35 p. (2021). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{L. Giordano} and \textit{V. Gliozzi}, Artif. Intell. 290, Article ID 103398, 35 p. (2021; Zbl 1504.68210) Full Text: DOI arXiv
Giordano, Laura; Theseider Dupré, Daniele An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. (English) Zbl 1468.68212 Theory Pract. Log. Program. 20, No. 5, 751-766 (2020). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{L. Giordano} and \textit{D. Theseider Dupré}, Theory Pract. Log. Program. 20, No. 5, 751--766 (2020; Zbl 1468.68212) Full Text: DOI arXiv
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola Towards a rational closure for expressive description logics: the case of \(\mathcal{SHIQ}\). (English) Zbl 1408.68137 Fundam. Inform. 159, No. 1-2, 95-122 (2018). Reviewer: Mario Alviano (Rende) MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{L. Giordano} et al., Fundam. Inform. 159, No. 1--2, 95--122 (2018; Zbl 1408.68137) Full Text: DOI
Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G. L. Semantic characterization of rational closure: from propositional logic to description logics. (English) Zbl 1346.68186 Artif. Intell. 226, 1-33 (2015). MSC: 68T27 03B42 03B47 03B60 68T30 PDFBibTeX XMLCite \textit{L. Giordano} et al., Artif. Intell. 226, 1--33 (2015; Zbl 1346.68186) Full Text: DOI
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. (English) Zbl 1351.03004 ACM Trans. Comput. Log. 10, No. 3, Article No. 18, 47 p. (2009). MSC: 03B35 03B25 03B45 03B60 68Q25 PDFBibTeX XMLCite \textit{L. Giordano} et al., ACM Trans. Comput. Log. 10, No. 3, Article No. 18, 47 p. (2009; Zbl 1351.03004) Full Text: DOI arXiv