Efficient Representations for the Modal Logic S5
暂无分享,去创建一个
[1] Thomas Lukasiewicz,et al. Reasoning about actions with sensing under qualitative and probabilistic uncertainty , 2004, TOCL.
[2] Adnan Darwiche,et al. DPLL with a Trace: From SAT to Knowledge Compilation , 2005, IJCAI.
[3] Blai Bonet,et al. Belief Tracking for Planning with Sensing: Width, Complexity and Approximations , 2014, J. Artif. Intell. Res..
[4] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[5] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[6] Prof. Dr. Christoph Meinel,et al. Algorithms and Data Structures in VLSI Design , 1998, Springer Berlin Heidelberg.
[7] Edward A. Feigenbaum,et al. Artificial intelligence research , 1963, IEEE Trans. Inf. Theory.
[8] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.
[9] Andreas Herzig,et al. Action representation and partially observable planning using epistemic logic , 2003, IJCAI.
[10] Fahiem Bacchus,et al. Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2004, ICAPS.
[11] Christoph Meinel,et al. Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications , 2012 .
[12] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[13] Pierre Marquis,et al. A Knowledge Compilation Map , 2002, J. Artif. Intell. Res..
[14] R. Brafman,et al. Contingent Planning via Heuristic Forward Search witn Implicit Belief States , 2005, ICAPS.
[15] Pierre Marquis,et al. Knowledge Compilation in the Modal Logic S5 , 2010, AAAI.