net.sf.tweety.logics.ml.reasoner
Classes
AbstractModalReasoner
MleanCoPReasoner
NaiveModalReasoner
SPASSModalReasoner