3970 search results - page 136 / 794 » A Logic For Causal Reasoning |
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p...
IJCAI
2003
13 years 9 months ago
2003
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
ICLP
2001
Springer
14 years 10 days ago
2001
Springer
KR
1998
Springer
14 years 3 days ago
1998
Springer