Package net.sf.tweety.logics.pl.examples
Class IcebergInconsistencyExample
- java.lang.Object
-
- net.sf.tweety.logics.pl.examples.IcebergInconsistencyExample
-
public class IcebergInconsistencyExample extends java.lang.Object
Example code for the "iceberg" inconsistency measures as described in [De Bona, Hunter. Localising iceberg inconsistencies. AI 2017].- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description IcebergInconsistencyExample()
-
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
-
-