3891 search results - page 521 / 779 » A logic for strategic reasoning |
202
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
151
Voted
FROCOS
2009
Springer
15 years 7 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
115
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
87
Voted
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
86
Voted
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
We present in detail a GCA (Global Cellular Automaton) algorithm with 3n cells for Hirschberg’s algorithm which determines the connected components of a n-node undirected graph w...