219 search results - page 15 / 44 » Dynamic Epistemic Temporal Logic |
KR
2010
Springer
14 years 19 days ago
2010
Springer
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
LFCS
2007
Springer
14 years 2 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
LORI
2009
Springer
14 years 2 months ago
2009
Springer
Coalition Logic does not explicitly talk about the effects of a coalitional move on the strategic ability of the remaining players, while in Game Theory reasoning patterns involvi...
LFCS
2007
Springer
14 years 2 months ago
2007
Springer
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...