eldorado.tu-dortmund.de/server/api/core/bitstreams/27b55c58-887b-4131-bebf-68354344fc3c/content
Neg(β1) = {{c, d}, {∼c, d}, {c,∼d}, {∼c,∼d}}
Neg(β2) = {{c, b}, {∼c, b}}
Neg(β3) = {{c, f}, {∼c, f}}
Neg(β4) = {{b, d}, {∼b, d}, {b,∼d}, {∼b,∼d}}
Neg(β5) = {{b, e}}
Neg(β6) = {{b, e, f}, {∼b, e, f}}.
This results [...] where
λ(r1) ∈ Nmin(blankets(Adv(r1))) = {{c, d}, {∼c, d}, {c,∼d}, {∼c,∼d}{c, b}, {∼c, b}, {c, f}, {∼c, f}, {b, d}, {∼b, d}, {b,∼d}, {∼b,∼d}, {b, e}, {∼b, e, f}}.
In summary, the results show that implementing [...] the following program P21 with internal atoms a, d and external atoms b, c, e, f :
r1: a← b,∼c. r2: a← b,∼f. r3: d← e. r4: ← a, d.
Then, (r3, r1) and (r3, r2) can be interpreted as conflicts. To resolve these …