The following table contains a list of examples discussed in the literature.
Example | Source | DLV Code | Smodels Code |
Delgrande, Schaub, and Tompits [4] | example.lp | example.dlv | example.sm |
Folklore | penguin.lp | penguin.dlv | penguin.sm |
Brewka and Eiter [2, Example 5.1] | be51.lp | be51.dlv | be51.sm |
Brewka and Eiter [2, Example 5.2] | be52.lp | be52.dlv | be52.sm |
Brewka and Eiter [2, Example 5.3] | be53.lp | be53.dlv | be53.sm |
Brewka and Eiter [2, Example 5.4] | be54.lp | be54.dlv | be54.sm |
Brewka and Eiter [2, Example 5.5] | be55.lp | be55.dlv | be55.sm |
Baader and Hollunder [1] | bh.lp | bh.dlv | bh.sm |
Baader and Hollunder [1] | bh2.lp | bh2.dlv | bh2.sm |
Baader and Hollunder [1] | bh3.lp | bh3.dlv | bh3.sm |
Gelfond and Son [7, Example 3.4] | gs34.lp | gs34.dlv | gs34.sm |
Gelfond and Son [7, Example 3.4'] | gs34P.lp | gs34P.dlv | gs34P.sm |
Gordon [8, chapter 2] | legal.lp | legal.dlv | legal.sm |
Junker [9, running example] | junker.lp | junker.dlv | junker.sm |
Delgrande, Schaub, and Tompits [4] | nonexP.lp | nonexP.dlv | nonexP.sm |
Delgrande, Schaub, and Tompits [4] | nonexJ.lp | nonexJ.dlv | nonexJ.sm |
More examples for this collection are highly welcome!