7123 search results - page 267 / 1425 » The Ordered Set of Rough Sets |
172
click to vote
VL
2007
IEEE
16 years 28 days ago
2007
IEEE
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
173
click to vote
TREC
2004
15 years 8 months ago
2004
TREC 2004 marks the third and final year for the novelty track. The task is as follows: Given a TREC topic and an ordered list of documents, systems must find the relevant and nov...
149
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
The set of cycle lengths of almost all permutations in Sn are "Poisson distributed": we show that this remains true even when we restrict the number of cycles in the per...
180
click to vote
JSYML
2008
15 years 6 months ago
2008
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...
192
click to vote
MST
2008
15 years 6 months ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...