11 search results - page 1 / 3 » Geometric Logic, Causality and Event Structures |
CONCUR
1991
Springer
13 years 9 months ago
1991
Springer
TIME
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
FPL
2007
Springer
13 years 9 months ago
2007
Springer
: Molecular dynamics simulation based on discrete event simulation (DMD) is emerging as an alternative to time-step driven molecular dynamics (MD). DMD uses simplified discretized ...
BIRTHDAY
2000
Springer
13 years 9 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...