356 search results - page 64 / 72 » Axiomatizing Causal Reasoning |
100
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
This paper considers the design of agent strategies for deciding whether to help other members of a group with whom an agent is engaged in a collaborative activity. Three characte...
105
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
103
click to vote
LICS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
ICLP
1992
Springer
15 years 3 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...