Class MlExample2

java.lang.Object
org.tweetyproject.logics.ml.examples.MlExample2

public class MlExample2 extends Object
More examples for testing ModalParser and ModalReasoner. Shows how to construct a modal logic knowledge base programmatically and how to query it using the SPASS reasoner.
Author:
Matthias Thimm