DeReS (default reasoning system)

DeReS is an automated reasoning system based on default logic. DeReS computes extensions of default theories and stable models of logic programs. It can be regarded as an implementation of the Answer Set Programming Paradigm.

Several versions of DeReS are available.  They include

All three programs require lparse (developed by the smodels group) to perform grounding. All three programs together with lparse and several additional programs computing stratification and performing conversion from lparse output to DeReS syntax are available in one package referred to as DeReS.

Download DeReS