1902 search results - page 85 / 381 » Differential Dynamic Logics |
158
click to vote
SYNTHESE
2011
15 years 11 days ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
138
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
142
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
162
click to vote
SIGGRAPH
1998
ACM
15 years 9 months ago
1998
ACM
We present a method that uses measured scene radiance and global illumination in order to add new objects to light-based models with correct lighting. The method uses a high dynam...
143
click to vote
DALT
2006
Springer
15 years 9 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...