1940 search results - page 261 / 388 » The Dynamic Logic of Permission |
206
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
188
click to vote
IJIPT
2006
15 years 6 months ago
2006
Service-oriented development offers a novel architectural approach that addresses crucial characteristics of modern business process development such as dynamic evolution, intra- ...
188
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
168
click to vote
CEEMAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
196
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...