2307 search results - page 168 / 462 » Dynamic Fuzzy Logic |
155
click to vote
IAT
2009
IEEE
15 years 2 months ago
2009
IEEE
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
148
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
138
click to vote
FPL
2000
Springer
15 years 8 months ago
2000
Springer
abstract the dynamic nature of a computation to embedded data memory (which is accessible on-chip). The dynamic nature of a computation corresponds to the dynamic features of its i...
132
click to vote
JAPLL
2008
15 years 4 months ago
2008
Recently visibly pushdown automata have been extended to so called k-phase multistack visibly pushdown automata (k-MVPAs). On the occasion of introducing kMVPAs, it has been asked...
159
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...