<> "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" .
.