The examples included in the system demonstrate alternative reasoning methods such as:

abduction under integrity constraints;
simple inductive problems;
diagnosis;
natural language experiments;
planning with the Event Calculus.

We show also abduction and induction in the setting of default logic.

All the examples can be found in the Examples directory included in the package.

Other examples are under development and will be added later. If you develop interesting examples with the DemoII system, please consider sending them to the authors.

For a description of the examples, click here.