Package net.sf.tweety.lp.asp.beliefdynamics