Stuart C. Shapiro
SNePS 3 is the latest entry in the SNePS family of knowledge representation and reasoning (KRR) systems. It is based on SNePS 2.5 and ANALOG, and is currently being implemented in CLOS and/or Java. SNePS 3 differs from earlier versions of SNePS by having the following features: formal SNePS semantic classes of nodes; formal definition of relations; formal definition of case frames; structured variables; wire-based inference, including expansion as well as reduction, and limits on adjustment; subsumption inference.