2272 search results - page 61 / 455 » A Calculus for |
KR
2000
Springer
14 years 9 days ago
2000
Springer
Acquiring information about its environment by sensing is a crucial ability of autonomous robots. Based on the established solution to the Frame Problem of the Fluent Calculus, we...
ZUM
2000
Springer
14 years 8 days ago
2000
Springer
We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to dene in Z much of its own schema cal...
ISSS
1997
IEEE
14 years 8 days ago
1997
IEEE
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...
LICS
1997
IEEE
14 years 8 days ago
1997
IEEE
We present a game-theoretic model of the polymorphic -calculus, system F, as a fibred category. Every morphism of the model defines an -expanded, -normal form ^ of system F whose...
CONCUR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Dynamic separation is a new programming discipline for systems with transactional memory. We study it formally in the setting of a small calculus with transactions. We pr...