A logic for causal reasoning

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 141-146

  Bochman, Alexander ^a  

^a HOLON INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ABDUCTIVE REASONING; CAUSAL REASONING; CAUSAL RELATIONS; CAUSAL THEORY; LOGICAL FORMALISM; NON-MONOTONIC REASONING; NON-MONOTONIC SEMANTICS;

ARTIFICIAL INTELLIGENCE;

SEMANTICS;

EID: 84880840231     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. A. Bochman. Input-output logics: Production inference, nonmonotonicity, and abduction, 2002. (Draft).
2. L. Console, D. Theseider Dupre, and P. Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1:661-690, 1991.
3. H. GefTner. Default Reasoning. Causal and Conditional Theories. MIT Press, 1992.
4. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain, and H. Turner. Nonmonotonic causal theories, 2001. Artificial Intelligence (to appear).
5. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990. (Pubitemid 20719858)
6. V. Lifschitz, D. Pearce, and A. Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2:526-541, 2001.
7. V. Lifschitz. On the logic of causal explanation. Artificial Intelligence, 96:451-465, 1997. (Pubitemid 127402642)
8. F. Lin. Embracing causality in specifying the indeterminate effects of actions. In Proceedings AAA1-96, pages 670-676, 1996.
9. D. Makinson and L. Van der Torre. Input/Output logics. Journal of Philosophical Logic, 29:383-408, 2000.
10. N. McCain and H. Turner. Causal theories of action and change. In Proceedings AAAI-97, pages 460-465, 1997.
11. N. McCain and H. Turner. Satisfiability planning with causal theories. In Proceedings KR-98, Trenlo, 1998.
12. C. Schwind. Causality in action theories. Linkoping Electronic Articles in Computer and Information Science, 4(4), 1999.
13. M. Thiclscher. Ramification and causality. Artificial Intelligence, 89:317-364, 1997.
14. II. Turner. A logic of universal causation. Artificial Intelligence, 113:87-123, 1999.
15. H. Turner. Strong equivalence for logic programs and default theories (made easy). In T. Eiter, W. Faber, and M. Truszczynski, editors, Proceedings LP-NMR'OL pages 81-92, Vienna, 2001. Springer. LNAI 2173.