1941 search results - page 14 / 389 » Reasoning about Computations Using Two-Levels of Logic |
102
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
90
Voted
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
129
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
118
click to vote
UAI
1994
15 years 3 months ago
1994
A logic is de ned that allows to express information about statistical probabilities and about degrees of belief in speci c propositions. By interpreting the twotypes of probabili...
127
click to vote
FUIN
2008
15 years 1 months ago
2008
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...