1346 search results - page 37 / 270 » Alternating-time dynamic logic |
84
Voted
APAL
1999
15 years 1 months ago
1999
83
Voted
JOLLI
1998
15 years 1 months ago
1998
78
Voted
LOGCOM
2010
15 years 9 days ago
2010
115
click to vote
TARK
2007
Springer
15 years 8 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...
120
Voted
PRICAI
2004
Springer
15 years 7 months 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...