Action Languages, Temporal Action Logics and the Situation Calculus
暂无分享,去创建一个
[1] Hudson Turner,et al. Causal Theories of Action and Change , 1997, AAAI/IAAI.
[2] Vladimir Lifschitz,et al. On the Logic of Causal Explanation (Research Note) , 1997, Artif. Intell..
[3] Michael Thielscher,et al. An analysis of systematic approaches to reasoning about actions and change , 1995 .
[4] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[5] Enrico Giunchiglia,et al. An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.
[6] G. Neelakantan Kartha,et al. Soundness and Completeness Theorems for Three Formalizations of Action , 1993, IJCAI.