title: HYPERSOLVER: A Graphical Tool for Commonsense Set Theory
creator: Pakkan, Mujdat
creator: Akman, Varol
subject: Artificial Intelligence
subject: Semantics
subject: Logic
description: 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.
date: 1995-07
type: Journal (Paginated)
type: PeerReviewed
format: application/postscript
identifier: http://cogprints.org/466/2/paper.ps
identifier:   Pakkan, Mujdat and Akman, Varol  (1995) HYPERSOLVER: A Graphical Tool for Commonsense Set Theory.  [Journal (Paginated)]     
relation: http://cogprints.org/466/