SNePS Research Group <shapiro @ cse . buffalo . edu> (email mangled to prevent spamming)
Department of Computer Science and Engineering State University of New York at Buffalo 226 Bell Hall, Box 602000 Buffalo, NY 14260-2000 USA
Abstract:
SNePS is the Semantic Network Processing System. Its first version was designed by Stuart C. Shapiro in the early seventies, and it has been developed since by Shapiro et al. (see the `bibliography.ps' file in the distribution for a list of SNePS related publications). SNePS is the implementation of a fully intensional theory of propositional knowledge representation and reasoning.