Donini, F. M.; Lenzerini, M.; Nardi, D.; Nutt, W.; Schaerf, A. An epistemic operator for description logics. (English) Zbl 0906.68144 Artif. Intell. 100, No. 1-2, 225-274 (1998). MSC: 68T30 68T27 68P15 PDFBibTeX XMLCite \textit{F. M. Donini} et al., Artif. Intell. 100, No. 1--2, 225--274 (1998; Zbl 0906.68144) Full Text: DOI
Donini, Francesco M.; Nardi, Daniele; Rosati, Riccardo Ground nonmonotonic modal logics. (English) Zbl 0881.03018 J. Log. Comput. 7, No. 4, 523-548 (1997). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B60 68T27 03B45 68T30 PDFBibTeX XMLCite \textit{F. M. Donini} et al., J. Log. Comput. 7, No. 4, 523--548 (1997; Zbl 0881.03018) Full Text: DOI
Donini, Francesco M.; Massacci, Fabio; Nardi, Daniele; Rosati, Riccardo A uniform tableaux method for nonmonotonic modal logics. (English) Zbl 1427.03037 Alferes, José Júlio (ed.) et al., Logics in artificial intelligence. European workshop, JELIA ’96, Évora, Portugal, September 30 – October 3, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1126, 87-103 (1996). MSC: 03B45 03B35 68T27 PDFBibTeX XMLCite \textit{F. M. Donini} et al., Lect. Notes Comput. Sci. 1126, 87--103 (1996; Zbl 1427.03037) Full Text: DOI
Cadoli, Marco; Donini, Francesco M.; Schaerf, Marco Is intractability of nonmonotonic reasoning a real drawback? (English) Zbl 0907.68182 Artif. Intell. 88, No. 1-2, 215-251 (1996). MSC: 68T30 PDFBibTeX XMLCite \textit{M. Cadoli} et al., Artif. Intell. 88, No. 1--2, 215--251 (1996; Zbl 0907.68182) Full Text: DOI