Package org.tweetyproject.beliefdynamics.operators