Package net.sf.tweety.logics.ml.examples

Class Summary

Class	Description
MlExample	Some examples for testing ModalParser and NaiveModalReasoner
MlExample2	More examples for testing ModalParser and ModalReasoner