3831 search results - page 141 / 767 » Dynamic Context Logic |
126
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
131
click to vote
JMM2
2008
15 years 4 months ago
2008
The current heterogeneous world of networks and terminals combined with the generalized mobility of users pose telecommunications operators and service providers the challenge of d...
150
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
115
click to vote
SAFECOMP
2009
Springer
15 years 10 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
157
click to vote
ICFCA
2004
Springer
15 years 9 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...