2599 search results - page 333 / 520 » An Operational Semantics for Knowledge Bases |
186
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
175
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
189
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
192
click to vote
QEST
2006
IEEE
16 years 16 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
162
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...