4066 search results - page 315 / 814 » Almost Complete Sets |
193
click to vote
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
172
click to vote
ECSQARU
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
134
click to vote
EGOV
2007
Springer
16 years 26 days ago
2007
Springer
Modelling life events is a task of a crucial importance and a first necessary step towards supporting resolution of a particular life event on the active e-government portal. The u...
198
click to vote
DEXAW
2006
IEEE
16 years 23 days ago
2006
IEEE
We study inference rules for multivalued dependencies in relational databases with null values (NMVDs). The definition of NMVDs is dependent on the underlying relation schema and ...
175
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...