Package | Description |
---|---|
net.sf.tweety.logics.mln.analysis | |
net.sf.tweety.logics.mln.reasoner |
Class and Description |
---|
AbstractMlnReasoner
This class provides common methods for MLN reasoner.
|
Class and Description |
---|
AbstractMlnReasoner
This class provides common methods for MLN reasoner.
|
ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation
A Herbrand interpretation with an annotated weight.
|