4047 search results - page 305 / 810 » Some Properties and Some Problems on Set Functors |
181
click to vote
SAGT
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the computational aspects of safe manipulation, a new model of coalitional manipulation that was recently put forward by Slinko and White [11]. In this model, a pot...
197
click to vote
JAIR
2011
15 years 1 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
152
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
142
click to vote
IEEECIT
2006
IEEE
16 years 18 days ago
2006
IEEE
Service-oriented architecture (SOA) making the interactions between applications much easier, but the service delay and unstable network will block the whole business process. Rep...
160
click to vote
DEON
2004
Springer
15 years 12 months ago
2004
Springer
This paper studies the logic of a dyadic modal operator for being obliged to meet a condition ρ before a condition δ becomes true. Starting from basic intuitions we arrive at a s...