36 search results - page 8 / 8 » Axiomatizing Flat Iteration |
149
click to vote
JAIR
2010
15 years 1 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...