The following table contains a list of examples discussed in the literature.
Example | Source | DLV Code | Smodels Code |
Delgrande and Schaub [3, running example] | car.lp | car.dlv | car.sm |
- | ex0.lp | ex0.dlv | ex0.sm |
- | ex1.lp | ex1.dlv | ex1.sm |
- | nonGround.lp | nonGround.dlv | nonGround.sm |
More examples for this collection are highly welcome!