Package net.sf.tweety.logics.mln.syntax
- 
Class Summary Class Description MarkovLogicNetwork Instances of this class represent Markov Logic Networks [Domingos et.MlnFormula Instances of this class represent first-order formulas with a weight.
| Class | Description | 
|---|---|
| MarkovLogicNetwork | Instances of this class represent Markov Logic Networks [Domingos et. | 
| MlnFormula | Instances of this class represent first-order formulas with a weight. |