eldorado.tu-dortmund.de/server/api/core/bitstreams/27b55c58-887b-4131-bebf-68354344fc3c/content
and r7 are affected by r1. Rule r6 is not affected as B(r1) and B(r6) are
not consistent due to atom condAAdv, that is, literal condAAdv occurs in B+(r1) and
in B−(r6). Ergo for r1, we yield the affected [...] By (6), neg(K∗
1 ) ∩ neg(K∗ 2 ) = ∅ iff K∗
1 ,K ∗ 2 are dual. In all other cases,
neg(K∗ 1 ) ∩ neg(K∗
2 ) = ∅. Let therefore K∗ 1 ,K
∗ 2 be dual literals. For any K∗
3 , it is easy to
see that by (6) either [...] Programming 6, 1-2, 169–212.
Eiter, T., Fink, M., Sabbatini, G. and Tompits, H. 2002. On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming 2, 6, 711–767. …