A Logic for Reasoning About Decision-Theoretic Projections
暂无分享,去创建一个
[1] Toniann Pitassi,et al. Stochastic Boolean Satisfiability , 2001, Journal of Automated Reasoning.
[2] Gavin Rens,et al. Formalisms for agents reasoning with stochastic actions and perceptions. , 2014 .
[3] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[4] Gerhard Lakemeyer,et al. SLAP: Specification logic of actions with probability , 2014, J. Appl. Log..
[5] Gerhard Lakemeyer,et al. A Logic for Specifying Stochastic Actions and Observations , 2014, FoIKS.
[6] Joelle Pineau,et al. A Bayesian Approach for Learning and Planning in Partially Observable Markov Decision Processes , 2011, J. Mach. Learn. Res..
[7] Marta Kwiatkowska,et al. Advances and challenges of probabilistic model checking , 2010, 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
[8] Gerhard Lakemeyer,et al. ESP: A Logic of Only-Knowing, Noisy Sensing and Acting , 2007, AAAI.
[9] Eyal Amir,et al. First-Order Logical Filtering , 2005, IJCAI.
[10] Blai Bonet. High-Level Planning and Control with Incomplete Information Using POMDP's , 1998 .
[11] Zhengzhu Feng,et al. Dynamic Programming for POMDPs Using a Factored State Representation , 2000, AIPS.
[12] Scott Sanner,et al. Symbolic Dynamic Programming for First-order POMDPs , 2010, AAAI.
[13] Gerhard Lakemeyer,et al. On the Logical Specification of Probabilistic Transition Models , 2013 .
[14] J. McCarthy. Situations, Actions, and Causal Laws , 1963 .
[15] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.
[16] Roni Khardon,et al. Relational Partially Observable MDPs , 2010, AAAI.
[17] George E. Monahan,et al. A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms , 2007 .
[18] Craig Boutilier,et al. Computing Optimal Policies for Partially Observable Decision Processes Using Compact Representations , 1996, AAAI/IAAI, Vol. 2.
[19] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[20] Craig Boutilier,et al. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus , 2000, AAAI/IAAI.
[21] Thomas Lukasiewicz,et al. Reasoning about actions with sensing under qualitative and probabilistic uncertainty , 2004, TOCL.
[22] Roni Khardon,et al. First Order Decision Diagrams for Relational MDPs , 2007, IJCAI.
[23] Emad Saad,et al. Probabilistic Reasoning by SAT Solvers , 2009, ECSQARU.
[24] G. Monahan. State of the Art—A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms , 1982 .
[25] Chenggang Wang,et al. Planning with POMDPs using a compact, logic-based representation , 2005, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05).
[26] David Poole,et al. Decision Theory, the Situation Calculus and Conditional Plans , 1998, Electron. Trans. Artif. Intell..
[27] Pierre Lison. Towards Relational POMDPs for Adaptive Dialogue Management , 2010, ACL.
[28] Edward J. Sondik,et al. The Optimal Control of Partially Observable Markov Processes over a Finite Horizon , 1973, Oper. Res..