1940 search results - page 45 / 388 » The Dynamic Logic of Permission |
APAL
1999
14 years 11 months ago
1999
JOLLI
1998
14 years 11 months ago
1998
LOGCOM
2010
14 years 10 months ago
2010
TARK
2007
Springer
15 years 6 months 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...
100
click to vote
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Emerging data stream management systems approach the challenge of massive data distributions which arrive at high speeds while there is only small storage by summarizing and minin...