Class MlExample2
java.lang.Object
org.tweetyproject.logics.ml.examples.MlExample2
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
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
MlExample2
public MlExample2()
-
-
Method Details
-
main
- Throws:
ParserException
IOException
-