5084 search results - page 324 / 1017 » Proving Possibility Properties |
146
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
In this paper we consider the structural properties of the dynamics of robotic manipulation systems of a rather general class, including multiple cooperating, possibly whole-arm l...
170
Voted
AAAI
2007
15 years 9 months ago
2007
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
187
Voted
CIE
2008
Springer
15 years 8 months ago
2008
Springer
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
166
Voted
FOIS
2010
15 years 8 months ago
2010
Abstract. The paper examines the semantics of the terms `environment' and `habitat' and presents a semi-formalised ontological framework in which these concepts are relat...
112
Voted
DAGSTUHL
2007
15 years 8 months ago
2007
—An electronic voting system may be said to be composed by a number of components, each of which has a number of properties. One of the most attractive effects of this way of thi...