7289 search results - page 29 / 1458 » A Dependent Set Theory |
JAIR
2011
13 years 2 months ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
GIS
2000
ACM
13 years 7 months ago
2000
ACM
Traditionally, the classes in thematic maps have been treated as crisp sets, using classical set theory. In this formulation, map classes are assumed to be mutually exclusive and e...
AML
2005
13 years 7 months ago
2005
A DO model (here also referred to a Paris model) is a model M of set theory all of whose ordinals are first order definable in M. Jeffrey Paris (1973) initiated the study of DO mo...
RSKT
2009
Springer
14 years 10 days ago
2009
Springer
In rough set theory, the problem of feature selection aims to retain the discriminatory power of original features. Many feature selection algorithms have been proposed, however, q...
JAIR
2012
11 years 10 months ago
2012
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...