| Class | Description |
|---|---|
| CF2Example |
Example code for CF2 semantics
|
| DivisionExample |
Example code for working with divisions
|
| GrossiModgilReasonerExample |
Example code for using graded semantics by Grossi/Modgil
|
| StratifiedLabelingExample |
Example code for using stratified labelings by Thimm/Kern-Isberner
|