2519 search results - page 291 / 504 » Reasoning with Textual Cases |
213
click to vote
AGILE
2007
Springer
16 years 24 days ago
2007
Springer
Google Maps and Google Earth are very popular web mapping services but they are not open and not OGC-compliant. The question arises why this is not the case. One reason is that com...
188
click to vote
ATAL
2007
Springer
16 years 23 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 ...
196
click to vote
CSL
2007
Springer
16 years 23 days ago
2007
Springer
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...
161
click to vote
ECSQARU
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we study a new probability associated with any given belief function b, i.e. the orthogonal projection π[b] of b onto the probability simplex P. We provide an interp...
136
click to vote
ISAAC
2007
Springer
16 years 22 days ago
2007
Springer
This paper studies to which extent the social welfare of a game can be influenced by an interested third party within economic reason, i.e., by taking the implementation cost into...