4617 search results - page 832 / 924 » Automation of Diagrammatic Reasoning |
178
click to vote
TARK
2007
Springer
16 years 28 days ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
152
click to vote
TARK
2007
Springer
16 years 28 days ago
2007
Springer
A classical result in voting theory, the Gibbard-Satterthwaite Theorem, states that for any non-dictatorial voting rule for choosing between three or more candidates, there will b...
175
click to vote
TARK
2007
Springer
16 years 28 days ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of age...
212
click to vote
TARK
2007
Springer
16 years 28 days ago
2007
Springer
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
152
click to vote
DATE
2006
IEEE
16 years 26 days ago
2006
IEEE
Customizing the bypasses in an embedded processor uncovers valuable trade-offs between the power, performance and the cost of the processor. Meaningful exploration of bypasses re...