Class MlExample2
- java.lang.Object
-
- org.tweetyproject.logics.ml.examples.MlExample2
-
public class MlExample2 extends java.lang.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
-
-
Constructor Summary
Constructors Constructor Description MlExample2()
-
Method Summary
Modifier and Type Method Description static void
main(java.lang.String[] args)
-
-
-
Method Detail
-
main
public static void main(java.lang.String[] args) throws ParserException, java.io.IOException
- Throws:
ParserException
java.io.IOException
-
-