Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem
暂无分享,去创建一个
[1] 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.
[2] Raymond Reiter,et al. Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.
[3] Raymond Reiter,et al. Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..
[4] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.
[5] Todd G. Kelley,et al. Reasoning about Physical Systems with the Situation Calculus , 1995 .
[6] Daniel Marcu,et al. Foundations of a Logical Approach to Agent Programming , 1995, ATAL.
[7] Benjamin Kuipers,et al. Qualitative Simulation , 1986, Artificial Intelligence.
[8] Hector J. Levesque,et al. The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.
[9] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[10] Fangzhen Lin,et al. State Constraints Revisited , 1994, J. Log. Comput..
[11] Erik Sandewall,et al. Combining Logic and Differential Equations for Describing Real-World Systems , 1989, KR.
[12] R. Reiter,et al. Temporal reasoning in the situation calculus , 1994 .
[13] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .