Sciweavers

1435 search results - page 112 / 287
» E-connections of Description Logics
Sort
View
SYNTHESE
2011
87views more  SYNTHESE 2011»
14 years 8 months ago
What will they say? - Public Announcement Games
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
Thomas Ågotnes, Hans P. van Ditmarsch
ATAL
2009
Springer
15 years 7 months ago
Description logic for coalitions
Inanç Seylan, Wojciech Jamroga
FROCOS
2009
Springer
15 years 7 months ago
Runtime Verification Using a Temporal Description Logic
Franz Baader, Andreas Bauer 0002, Marcel Lippmann