102 search results - page 7 / 21 » Causal Logic |
IPL
1998
13 years 7 months ago
1998
Vector timestamps provide a way of recording the causal relationships between events in a distributed computation. We draw attention to a limitation of such timestamps when used t...
GLVLSI
2005
IEEE
14 years 1 months ago
2005
IEEE
Switching model captures the data-driven uncertainty in logic circuits in a comprehensive probabilistic framework. Switching is a critical factor that influences dynamic, active ...
SIGDOC
2004
ACM
14 years 1 months ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on background...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...