Hypersolver: a graphical tool for commonsense set theory
43 - 61
MetadataShow full item record
Please cite this item using this persistent URLhttp://hdl.handle.net/11693/25905
This paper investigates an alternative set theory (due to Aczel) called the 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.
Showing items related by title, author, creator and subject.
Gökoǧlu G.; Erkişi, A. (2008)In this study, first principles calculation results of the second order elastic constants and lattice dynamics of two lanthanum monopnictides, LaN and LaBi, which crystallize in rock-salt structure (B1 phase), are presented. ...
Derya, Ayşe Mutlu (Bilkent University, 2014-10)Four different problems in collective decision making are studied, all of which are either formulated directly in a game-theoretical context or are concerned with neighboring research areas. The rst two problems fall ...
Şen, Cengiz (Bilkent University, 2002)The quantum nature of the high temperature superconductivity models makes analytical approaches to these systems almost impossible to implement. In this thesis, a computational study of the one and two dimensional t − J ...