"466","HYPERSOLVER: A Graphical Tool for Commonsense Set Theory","This paper investigates an alternative set theory (due to Peter Aczel) called Hyperset Theory. Aczel uses a graphical representation for sets and thereby allows the representation of non-well-founded sets. A program, called HYPERSOLVER, which can solve systems of equations defined in terms of sets in the universe of this new theory is presented. This may be a useful tool for commonsense reasoning.","http://cogprints.org/466/","Pakkan, Mujdat and Akman, Varol","UNSPECIFIED","       <span class=\"person_name\">Pakkan, Mujdat</span> and <span class=\"person_name\">Akman, Varol</span>     (1995)  <a href=\"http://cogprints.org/466/\"><em>HYPERSOLVER: A Graphical Tool for Commonsense Set Theory.</em></a>       [Journal (Paginated)]           ","","1995-07"