5158 search results - page 658 / 1032 » Generalization of the Dempster-Shafer Theory |
153
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
171
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
162
click to vote
ATAL
2007
Springer
2007
Springer
Agent coordination by trade-off between locally diffusion effects and socially structural influences
16 years 1 months ago
There were always two separated methods to make agent coordination: individual-local balance perspective and individualsociety balance perspective. The first method only considere...
160
Voted
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
164
Voted
CCIA
2007
Springer
16 years 1 months ago
2007
Springer
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 for Multi-...