3793 search results - page 177 / 759 » Expressive Description Logics |
121
click to vote
DLOG
2001
15 years 6 months ago
2001
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...
140
click to vote
SCVMA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, several important issues related to visual motion analysis are addressed with a focus on the type of motion information to be estimated and the way context...
139
click to vote
TARK
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
150
click to vote
JOLLI
2002
15 years 4 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...