Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,060,750 papers from all fields of science
Search
Sign In
Create Free Account
Set theory
Known as:
Ordinary set theory
, Abstract set theory
, Set
Expand
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Access structure
Aronszajn tree
B-Method
Binary tree
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
An Efficient Approach for Clustering Web Access Patterns from Web Logs
Pei-Lin Shi
2009
Corpus ID: 17777918
The interests of web users can be revealed by their visited web pages and time duration on these web pages during their surfing…
Expand
2009
2009
Top-Down Intelligent Reservoir Modeling (TDIRM)
Y. Khazaeni
,
R. Gaskari
2009
Corpus ID: 8880682
This paper examines the validity of a recently introduced reservoir simulation and modeling technique. The technique, that is…
Expand
2004
2004
A set theoretic approach to path planning for mobile robots
N. Ceccarelli
,
M. Di Marco
,
A. Garulli
,
Antonio Giannitrapani
IEEE Conference on Decision and Control
2004
Corpus ID: 41228178
This paper addresses the path planning problem for mobile robots in a set theoretic framework. Under the assumption of unknown…
Expand
Highly Cited
2002
Highly Cited
2002
HASCASL: Towards Integrated Specification and Development of Functional Programs
Lutz Schröder
,
Till Mossakowski
International Conference on Algebraic Methodology…
2002
Corpus ID: 29061387
The development of programs in modern functional languages such as Haskell calls for a wide-spectrum specification formalism that…
Expand
2000
2000
In Defense of Vacuous Projections in Bare Phrase Structure
M. Guimarães
2000
Corpus ID: 67808277
According to the current minimalist view, Bare Phrase Structure Theory (Chomsky 1994, 1995) implies the impossibility of vacuous…
Expand
2000
2000
On Approximation of Fuzzy Sets by Crisp Sets: From Continuous Control-Oriented Defuzzification to Discrete Decision Making
H. Nguyen
,
W. Pedrycz
,
V. Kreinovich
2000
Corpus ID: 16840211
In this paper, we show that the necessity to make crisp decisions in uncertain (fuzzy) situations leads to the necessity to…
Expand
1998
1998
Topological Equivalence and Similarity in Multi-Representation Geographic Databases
J. Paiva
1998
Corpus ID: 127931864
1997
1997
Risk in sustainable water resources management
S. P. Sevionovic
1997
Corpus ID: 54037021
Method for the preparation of 1-(3-dimethylaminopropyl)-1-(4-fluoro-phenyl)-1,3-dihydroisobenzofuran-5-carbonitrile (citalopram…
Expand
1990
1990
Correspondenceless Stereo and Motion: Planar Surfaces
Y. Aloimonos
,
J. Hervé
IEEE Transactions on Pattern Analysis and Machine…
1990
Corpus ID: 19889228
It is shown that a binocular observer can recover the depth and three-dimensional motion of a rigid planar patch without using…
Expand
1985
1985
Integrated structural/control synthesis via set-theoretic methods
A. Hale
1985
Corpus ID: 123904514