Now showing items 1-2 of 2

    • Hypersolver: a graphical tool for commonsense set theory 

      Pakkan, M.; Akman, V. (Elsevier, 1995)
      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 ...
    • Issues in commonsense set theory 

      Pakkan, M.; Akman, V. (Springer/Kluwer Academic Publishers, 1994)
      The success of set theory as a foundation for mathematics inspires its use in artificial intelligence, particularly in commonsense reasoning. In this survey, we briefly review classical set theory from an AI perspective, ...