Authors: Alferes, JJ Leite, JA Pereira, LM Przymusinska, H Przymusinski, TC

Citation: Jj. Alferes et al., Dynamic updates of non-monotonic knowledge bases, J LOGIC PR, 45(1-3), 2000, pp. 43-70

Authors: Brass, S Dix, J Przymusinski, TC

Citation: S. Brass et al., Computation of the semantics of autoepistemic belief theories, ARTIF INTEL, 112(1-2), 1999, pp. 233-250