Formalizing Properties of Agents
暂无分享,去创建一个
[1] David Chapman,et al. Planning for Conjunctive Goals , 1987, Artif. Intell..
[2] Michael Z. Spivey,et al. The Z notation , 1989 .
[3] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[4] D. McDermott. Transformational Planning of Reactive Behavior , 1992 .
[5] D. McDermott. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[6] B. Skinner. Is it behaviorism? , 1986, Behavioral and Brain Sciences.
[7] Rich Caruana,et al. Intelligent Agent Design Issues: Internal Agent State and Incomplete Perception , 1991 .
[8] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[9] Anne H. Soukhanov,et al. The american heritage dictionary of the english language , 1992 .
[10] Howard Raiffa,et al. Decision analysis: introductory lectures on choices under uncertainty. 1968. , 1969, M.D.Computing.
[11] Tom M. Mitchell,et al. Becoming Increasingly Reactive , 1990, AAAI.
[12] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[13] Jan Madey,et al. The Z notation: A reference manual , 1990 .