next up previous
Next: Dynamic Preferences with Variables Up: Dynamic Preferences Previous: Dynamic Preferences


Examples

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!


next up previous
Next: Dynamic Preferences with Variables Up: Dynamic Preferences Previous: Dynamic Preferences
Torsten Schaub 2000-12-05