From Causal Theories to Logic Programs (Sometimes)
暂无分享,去创建一个
[1] Hudson Turner,et al. A Logic of Universal Causation , 1999, Artif. Intell..
[2] Fangzhen Lin,et al. Embracing Causality in Specifying the Indeterminate Effects of Actions , 1996, AAAI/IAAI, Vol. 1.
[3] Vladimir Lifschitz,et al. Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .
[4] Vladimir Lifschitz,et al. Action Languages, Answer Sets, and Planning , 1999, The Logic Programming Paradigm.
[5] Fangzhen Lin,et al. Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.
[6] Victor W. Marek,et al. The Logic Programming Paradigm: A 25-Year Perspective , 2011 .
[7] Hudson Turner,et al. Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..
[8] Ilkka Niemelä,et al. Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.
[9] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.