The temporal logic of token causes

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 575-577

  Kleinberg, Samantha ^a   Mishra, Bud ^a  

^a NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL ORGANS; DIAGNOSIS; DISEASES; KNOWLEDGE REPRESENTATION; PHILOSOPHICAL ASPECTS; TEMPORAL LOGIC;

CAUSAL EXPLANATIONS; CAUSAL RELATIONSHIPS; LUNG CANCER; TEMPORAL LOGIC FORMULA;

COMPUTER CIRCUITS;

EID: 84860557633     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Efron, B. 2004. Large-Scale Simultaneous Hypothesis Testing: The Choice of a Null Hypothesis. Journal of the American Statistical Association 99(465):96-105.
2. Hansson, H., and Jonsson, B. 1994. A logic for reasoning about time and reliability. Formal Aspects of Computing 6(5):512-535.
3. Hopkins, M., and Pearl, J. 2007. Causality and Counterfactuals in the Situation Calculus. Journal of Logic and Computation 17(5):939.
4. Kleinberg, S., and Mishra, B. 2009. The Temporal Logic of Causal Structures. In Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI).
5. Kleinberg, S., and Mishra, B. 2010. The Temporal Logic of Token Causes. Technical Report TR2010-926, CIMS New York University.
6. Lin, F. 1995. Embracing causality in specifying the indirect effects of actions. In Mellish, C., ed., Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1985-1991. San Francisco: Morgan Kaufmann.
7. Lunze, J., and Schiller, F. 1999. An example of fault diagnosis by means of probabilistic logic reasoning. Control Engineering Practice 7(2):271-278.
8. Sober, E., and Papineau, D. 1986. Causal factors, causal inference, causal explanation. Proceedings of the Aristotelian Society, Supplementary Volumes 60:97-136.
9. Thielscher, M. 1997. Ramification and causality. Artificial Intelligence 89(1-2):317-364.