This class provides common methods for MLN reasoner.
This class implements a wrapper for Alchemy in order to reason with MLNs.
This reasoner performs approximate reasoning with MLNs by considering only a subset of all Herbrand interpretations.
This MLN reasoner takes another MLN reasoner and performs several iterations with this one and takes the average result as result.
Instances of this class represent Markov Logic Networks [Domingos et.
This MLN reasoner employs simple random sampling from the set of interpretations to compute the probability of a formula.