7123 search results - page 227 / 1425 » The Ordered Set of Rough Sets |
175
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
185
click to vote
JSYML
2000
15 years 6 months ago
2000
There is a comeager set C contained in the set of 1-generic reals and a first order structure M such that for any real number X, there is an element of C which is recursive in X if...
192
click to vote
ORDER
2002
15 years 6 months ago
2002
The framework and the basic results of Wille on triadic concept analysis, including his Basic Theorem of Triadic Concept Analysis, are here generalized to n-dimensional formal cont...
145
click to vote
ORDER
2010
15 years 5 months ago
2010
We investigate the complexity of the lattice of local clones over a countably infinite base set. In particular, we prove that this lattice contains all algebraic lattices with at ...
171
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...