Representing Value Functions with Recurrent Binary Decision Diagrams
暂无分享,去创建一个
[1] Hassen Saïdi,et al. Powerful Techniques for the Automatic Generation of Invariants , 1996, CAV.
[2] Craig Boutilier,et al. Symbolic Dynamic Programming for First-Order MDPs , 2001, IJCAI.
[3] Yanhong A. Liu,et al. Strengthening invariants for efficient computation , 2001, Sci. Comput. Program..
[4] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[5] Scott Sanner,et al. Affine Algebraic Decision Diagrams (AADDs) and their Application to Structured Probabilistic Inference , 2005, IJCAI.
[6] Raymond Reiter,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .
[7] Hector J. Levesque,et al. Planning with Loops , 2005, IJCAI.
[8] Craig Boutilier,et al. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.
[9] Scott Sanner,et al. Practical solution techniques for first-order MDPs , 2009, Artif. Intell..
[10] Roni Khardon,et al. First Order Decision Diagrams for Relational MDPs , 2007, IJCAI.