22 search results - page 5 / 5 » Towards a Theory of Time-Bounded Verification |
108
Voted
WWW
2003
ACM
16 years 9 days ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
105
click to vote
ATAL
2010
Springer
15 years 22 days 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 ...