Varol Akman, Mujdat Pakkan  Home/Search
Context
Related
| bilkent.edu.tr/tech...BUCEIS9316.ps.z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: bilkent.edu.tr/t...ABSTRACTS.1993 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper (also see [6]) investigates an alternative set theory (due to Peter Aczel [7]) which 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 (Update)
Similar documents (at the sentence level):
74.3%: HYPERSOLVER: A Graphical Tool for Commonsense Set Theory - Pakkan, Akman (1996) (Correct)
15.4%: Issues in Commonsense Set Theory - Pakkan, Akman (1992) (Correct)
14.4%: Nonstandard Set Theories and Information Management - Akman, Pakkan (1994) (Correct)
Active bibliography (related documents): More All
0.2: Axiomatic Set Theories And Common Sense - Surav, Akman (1994) (Correct)
0.2: Situated Modeling of Epistemic Puzzles - Ersan, Akman (1995) (Correct)
0.2: Sets in Context and Related Issues - Akman, Surav (1994) (Correct)
Similar documents based on text: More All
0.2: Parallel Functional Implementations: Graphbased vs. Stackbased .. - Hogen, Loogen (1995) (Correct)
0.1: Secret Sharing in Graph-Based Prohibited Structures - Sun, Shieh (1999) (Correct)
0.1: SphinX: Schema-conscious XML Indexing - Poola, Haritsa (2001) (Correct)
BibTeX entry: (Update)
@misc{ akman-hypersolver,
author = "Varol Akman and Mujdat Pakkan",
title = "HYPERSOLVER: A Graph-Based Tool for Modeling with Sets",
url = "citeseer.ist.psu.edu/article/akman93hypersolver.html" }
Citations (may not include all citations):537 Graph Theory with Applications (context) - Bondy, Murty - 1976
274 Situations and Attitudes (context) - Barwise, Perry - 1983
104 An Algorithm for Drawing General Undirected Graphs (context) - Kamada, Kawai - 1989
63 Admissible Sets and Structures (context) - Barwise - 1975
58 DAG---A Program that Draws Directed Graphs - Gansner, North et al. - 1988
41 Center for the Study of Language and Information (context) - Aczel, Number et al. - 1988
38 Axiomatic Set Theory (context) - Suppes - 1972
37 The Liar: An Essay on Truth and Circularity (context) - Barwise, Etchemendy - 1987
33 Foundations of Set Theory (context) - Fraenkel, Bar-Hillel et al. - 1973
27 Center for the Study of Language and Information (context) - Barwise, Etchemendy et al. - 1990
27 Software---Practice and Experience (context) - Rowe, Davis et al. - 1987
19 Software---Practice and Experience (context) - Paulisch, Tichy et al. - 1990
16 the Model Theory of Common Knowledge (context) - Barwise - 1989
13 Mathematical Intelligencer (context) - Barwise, Moss - 1991
11 Commonsense Set Theory (context) - Perlis - 1988
7 BABY-SIT: Towards a Situation-Theoretic Computational Enviro.. (context) - Tin, Akman - 1993
4 and the Axiom of Foundation (context) - Barwise, Sets - 1989
4 Artificial Intelligence Needs More Emphasis on Basic Researc.. (context) - McCarthy - 1983
2 Award for Research Excellence (context) - McCarthy, International et al. - 1985
2 Issues in Commonsense Set Theory - Pakkan, Akman - 1992
1 Dumb-founded Sets (context) - Parikh - 1989
1 ACM SIGACT News (context) - Akman - 1992
Documents on the same site (http://cs.bilkent.edu.tr/tech-reports/1993/ABSTRACTS.1993.html): More
Genetic Synthesis of Unsupervised Learning Algorithms - Dasdan, OFLAZER (1993) (Correct)
A Lexical-Functional Grammar For Turkish - Güngördü (1993) (Correct)
An Algorithm for Classification by Feature Partitioning - Sirin, Güvenir (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC