1078 search results - page 98 / 216 » The Modal Logic of Probability |
139
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
138
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
149
click to vote
ACL
1992
15 years 5 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
147
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
134
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...