2381 search results - page 157 / 477 » On Ordering Descriptions in a Description Logic |
120
click to vote
CADE
2006
Springer
15 years 5 months ago
2006
Springer
We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as num...
115
click to vote
DSVIS
2003
Springer
15 years 7 months ago
2003
Springer
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
95
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
97
Voted
ACL
1998
15 years 3 months ago
1998
This paper proposes decoupling the dependency tree from word order, such that surface ordering is not determined by traversing the dependency tree. We develop the notion of a word...
120
Voted
ANOR
2010
14 years 11 months ago
2010
We derive representations of higher order dual measures of risk in Lp spaces as suprema of integrals of Average Values at Risk with respect to probability measures on (0, 1] (Kusu...