1346 search results - page 37 / 270 » Alternating-time dynamic logic |
APAL
1999
13 years 7 months ago
1999
JOLLI
1998
13 years 7 months ago
1998
LOGCOM
2010
13 years 6 months ago
2010
TARK
2007
Springer
14 years 1 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...
PRICAI
2004
Springer
14 years 27 days ago
2004
Springer
In this paper, we extend our earlier work on modelling the mental states of PRS-like agents by considering the dynamics of belief and modelling of action attempts. The major constr...