11160 search results - page 346 / 2232 » Incompleteness in a General Setting |
186
click to vote
STOC
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of n definable sets belonging to some fixed definable family of sets i...
159
click to vote
CCCG
2010
15 years 8 months ago
2010
We prove several new results concerning k-sets of point sets on the 2-sphere (equivalently, for signed point sets in the plane) and k-sets in 3-space. Specific results include sph...
158
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
Fuzzy relations on the same domain are classified according to the equality of families of cut sets. This equality of fuzzy relations is completely characterized, not only for un...
232
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The goal of this paper is to consider properties of the composition of interval-valued fuzzy relations which were introduced by L.A. Zadeh in 1975. Fuzzy set theory turned out to b...
214
click to vote
JAIR
2007
15 years 6 months ago
2007
We report on a successful experiment of computeraided theorem discovery in the area of logic programming with answer set semantics. Specifically, with the help of computers, we d...