Przymusinski, Teodor C. Autoepistemic logic of knowledge and beliefs. (English) Zbl 0894.68141 Artif. Intell. 95, No. 1, 115-154 (1997). MSC: 68T27 68N17 68Q55 PDFBibTeX XMLCite \textit{T. C. Przymusinski}, Artif. Intell. 95, No. 1, 115--154 (1997; Zbl 0894.68141) Full Text: DOI
Stärk, Robert F. Multi-valued autoepistemic logic. (English) Zbl 0888.03012 Ann. Math. Artif. Intell. 18, No. 2-4, 159-174 (1996). MSC: 03B60 68T27 PDFBibTeX XMLCite \textit{R. F. Stärk}, Ann. Math. Artif. Intell. 18, No. 2--4, 159--174 (1996; Zbl 0888.03012) Full Text: DOI
Niemelä, Ilkka A decision method for nonmonotonic reasoning based on autoepistemic reasoning. (English) Zbl 0826.03007 J. Autom. Reasoning 14, No. 1, 3-42 (1995). Reviewer: H.J.Ohlbach (Saarbrücken) MSC: 03B35 03B60 03B25 68Q25 PDFBibTeX XMLCite \textit{I. Niemelä}, J. Autom. Reasoning 14, No. 1, 3--42 (1995; Zbl 0826.03007) Full Text: DOI
Baral, Chitta R.; Subrahmanian, V. S. Dualities between alternative semantics for logic programming and nonmonotonic reasoning. (English) Zbl 0782.68074 J. Autom. Reasoning 10, No. 3, 399-420 (1993). MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{C. R. Baral} and \textit{V. S. Subrahmanian}, J. Autom. Reasoning 10, No. 3, 399--420 (1993; Zbl 0782.68074) Full Text: DOI
Marek, W.; Subrahmanian, V. S. The relationship between stable, supported, default and autoepistemic semantics for general logic programs. (English) Zbl 0753.68062 Theor. Comput. Sci. 103, No. 2, 365-386 (1992). MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{W. Marek} and \textit{V. S. Subrahmanian}, Theor. Comput. Sci. 103, No. 2, 365--386 (1992; Zbl 0753.68062) Full Text: DOI
Baral, Chitta R.; Subrahmanian, V. S. Stable and extension class theory for logic programs and default logics. (English) Zbl 0763.03017 J. Autom. Reasoning 8, No. 3, 345-366 (1992). MSC: 03B60 03B70 68N17 68Q55 PDFBibTeX XMLCite \textit{C. R. Baral} and \textit{V. S. Subrahmanian}, J. Autom. Reasoning 8, No. 3, 345--366 (1992; Zbl 0763.03017) Full Text: DOI
Marek, W.; Truszczyński, M. Modal logic for default reasoning. (English) Zbl 0871.03009 Ann. Math. Artif. Intell. 1, No. 1-4, 275-302 (1990). MSC: 03B45 68T27 03B60 PDFBibTeX XMLCite \textit{W. Marek} and \textit{M. Truszczyński}, Ann. Math. Artif. Intell. 1, No. 1--4, 275--302 (1990; Zbl 0871.03009) Full Text: DOI
Konolige, Kurt On the relation between default and autoepistemic logic. (English) Zbl 0647.68088 Artif. Intell. 35, No. 3, 343-382 (1988). Reviewer: E.Melis MSC: 68T99 03B60 PDFBibTeX XMLCite \textit{K. Konolige}, Artif. Intell. 35, No. 3, 343--382 (1988; Zbl 0647.68088) Full Text: DOI