Uses of Class
org.tweetyproject.logics.mln.syntax.MlnFormula
-
Uses of MlnFormula in org.tweetyproject.logics.mln.syntax
ModifierConstructorDescriptionMarkovLogicNetwork(Collection<? extends MlnFormula> formulas)
Creates a new conditional MLN with the given collection of MLN formulas.