Bessant, Brigitte; Grégoire, Eric; Marquis, Pierre; Saïs, Lakhdar Iterated syntax-based revision in a nonmonotonic setting. (English) Zbl 1016.03016 Williams, Mary-Anne (ed.) et al., Frontiers in belief revision. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 22, 369-391 (2001). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B42 03B60 68T27 68Q17 PDFBibTeX XMLCite \textit{B. Bessant} et al., Appl. Log. Ser. 22, 369--391 (2001; Zbl 1016.03016)
Brass, Stefan; Dix, Jürgen; Przymusinski, Teodor C. Computation of the semantics of autoepistemic belief theories. (English) Zbl 0996.68194 Artif. Intell. 112, No. 1-2, 233-250 (1999). MSC: 68T27 03B42 PDFBibTeX XMLCite \textit{S. Brass} et al., Artif. Intell. 112, No. 1--2, 233--250 (1999; Zbl 0996.68194) Full Text: DOI