user:sascha

mit den anderen Studierendenvertretern des Fakultätsrat s (2. v. l.) bei der 42,0ten KIF 4) : 1) , 3) , 4) Konferenz der Informatik-Fachschaften 2) Erst-Semester-Einführung zum Sommersemester [...] Organisation der 37,0ten KIF 1) (2008-2009) Organisation O-Phase MMX (2009-2010) Organisation 1. ESE 2) (2010-2011) Mithilfe bei der 42,0ten KIF 3) (2014) Studiengang: KInf01/TheoMed Bachelor Lehramt Sp …

Editorial

ologie Science, Technology & Innovation Studies 2007 - Volume 3 Issue 2 Editorial   Editorial Loading... Files editorialstivol3no2-2007.pdf (17.46 KB) Date 2007-12 Authors Schulz-Schaeffer, Ingo Werle [...] Citation URI http://hdl.handle.net/2003/26760 http://dx.doi.org/10.17877/DE290R-981 Collections Issue 2 Full item page Eldorado Provided by UB and ITMC of the TU Dormund Cookie settings Privacy policy Send …

Editorial

enschaften Fachgebiet Techniksoziologie Science, Technology & Innovation Studies 2006 - Volume 2 Issue 2 Editorial   Editorial Loading... Files editorial-271106.pdf (33.75 KB) Date 2006-11 Authors Sch [...] Citation URI http://hdl.handle.net/2003/26739 http://dx.doi.org/10.17877/DE290R-716 Collections Issue 2 Full item page Eldorado Provided by UB and ITMC of the TU Dormund Cookie settings Privacy policy Send …

ary, and (CP2) B+(r1) ∩B−(r2) = ∅ such that r1, r2 ∈ {r, r′}, r1 = r2, and (CP3) B+(r) ∪B+(r′) is consistent. Proof Suppose an ELP P over A, and rules r, r′ in PC that satisfy (CP1), (CP2), and (CP3). [...] for SN(PC,2). For PF ∪ SN(PC,2), we get the answer sets S1 = {testedPositivePA, allergicToPeanuts}, and S2 = {testedPositivePA, allergicToPeanuts , canEatPeanuts}. Clearly, S2 shows that PC,2 contains wrong [...] atom-related literals K∗ 1 ,K ∗ 2 ,K ∗ 3 . 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∗ …