Szałas, Andrzej Second-order reasoning in description logics. (English) Zbl 1185.68680 J. Appl. Non-Class. Log. 16, No. 3-4, 517-530 (2006). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{A. Szałas}, J. Appl. Non-Class. Log. 16, No. 3--4, 517--530 (2006; Zbl 1185.68680) Full Text: DOI
Lee, Joohyung; Lin, Fangzhen Loop formulas for circumscription. (English) Zbl 1131.68105 Artif. Intell. 170, No. 2, 160-185 (2006). MSC: 68T27 68T30 68N17 PDFBibTeX XMLCite \textit{J. Lee} and \textit{F. Lin}, Artif. Intell. 170, No. 2, 160--185 (2006; Zbl 1131.68105) Full Text: DOI
Mueller, Erik T. Event calculus and temporal action logics compared. (English) Zbl 1131.68106 Artif. Intell. 170, No. 11, 1017-1029 (2006). MSC: 68T27 PDFBibTeX XMLCite \textit{E. T. Mueller}, Artif. Intell. 170, No. 11, 1017--1029 (2006; Zbl 1131.68106) Full Text: DOI
Novák, Vilém Which logic is the real fuzzy logic? (English) Zbl 1100.03013 Fuzzy Sets Syst. 157, No. 5, 635-641 (2006). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03B52 03B50 PDFBibTeX XMLCite \textit{V. Novák}, Fuzzy Sets Syst. 157, No. 5, 635--641 (2006; Zbl 1100.03013) Full Text: DOI