This site has been permanently archived. This is a static copy provided by the University of Southampton.

<> "The repository administrator has not yet configured an RDF license."^^ . <> . . "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."^^ . "1995-07" . . "85" . "1" . . "Information Sciences: An International Journal"^^ . . . . . . . . . . . "Mujdat"^^ . "Pakkan"^^ . "Mujdat Pakkan"^^ . . "Varol"^^ . "Akman"^^ . "Varol Akman"^^ . . . . . . "HYPERSOLVER: A Graphical Tool for Commonsense Set Theory (Postscript)"^^ . . . . . . "paper.ps"^^ . . "HTML Summary of #466 \n\nHYPERSOLVER: A Graphical Tool for Commonsense Set Theory\n\n" . "text/html" . . . "Artificial Intelligence" . . . "Semantics" . . . "Logic" . .