Nondeterminism and Uncertainty in the Situation Calculus
暂无分享,去创建一个
Cristina Sernadas | Amílcar Sernadas | Paulo Mateus | Javier Pinto | Javier Pinto | P. Mateus | A. Sernadas | C. Sernadas
[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] Jérôme Lang,et al. Planning with graded nondeterministic actions: A possibilistic approach , 1997, Int. J. Intell. Syst..
[3] Javier Pinto,et al. Causality in Theories of Action , 1998 .
[4] Fangzhen Lin,et al. Embracing Causality in Specifying the Indeterminate Effects of Actions , 1996, AAAI/IAAI, Vol. 1.
[5] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[6] R. Reiter,et al. Temporal reasoning in the situation calculus , 1994 .
[7] Premkumar T. Devanbu,et al. Taxonomic Plan Reasoning , 1996, Artif. Intell..
[8] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[9] Javier Pinto,et al. Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus , 1998, J. Log. Comput..
[10] Fangzhen Lin. Embracing causality in specifying the effects of indeterminate actions , 1996, AAAI 1996.
[11] Christel Baier,et al. Automatic verification of liveness properties of randomized systems , 1997, PODC '97.
[12] Fahiem Bacchus,et al. Lp, a logic for representing and reasoning with statistical knowledge , 1990, Comput. Intell..
[13] Alessandro Saffiotti,et al. A Multivalued Logic Approach to Integrating Planning and Control , 1995, Artif. Intell..