暂无分享,去创建一个
Nate Soares | Scott Garrabrant | Abram Demski | Benya Fallenstein | Scott Garrabrant | N. Soares | Benya Fallenstein | A. Demski
[1] J. Łoś. On the axiomatic treatment of probability , 1955 .
[2] H. Gaifman. Concerning measures in first order calculi , 1964 .
[3] D. Scott,et al. Assigning Probabilities to Logical Formulas , 1966 .
[4] Theodore Hailperin,et al. Probability logic , 1984, Notre Dame J. Formal Log..
[5] Natarajan Shankar,et al. PVS: A Prototype Verification System , 1992, CADE.
[6] Luc De Raedt,et al. Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..
[7] S. Muggleton. Stochastic Logic Programs , 1996 .
[8] David Poole,et al. The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty , 1997, Artif. Intell..
[9] Shan-Hwei Nienhuys-Cheng,et al. Foundations of Inductive Logic Programming , 1997, Lecture Notes in Computer Science.
[10] Peter Haddawy,et al. Answering Queries from Context-Sensitive Probabilistic Knowledge Bases , 1997, Theor. Comput. Sci..
[11] Avi Pfeffer,et al. Learning Probabilities for Noisy First-Order Rules , 1997, IJCAI.
[12] Taisuke Sato,et al. PRISM: A Language for Symbolic-Statistical Modeling , 1997, IJCAI.
[13] Thomas Lukasiewicz,et al. Probabilistic Logic Programming , 1998, ECAI.
[14] K. Kersting,et al. Interpreting Bayesian Logic Programs , 2000 .
[15] Luc De Raedt,et al. Probabilistic inductive logic programming , 2004 .
[16] M. Cozic. Impossible States at Work: Logical Omniscience and Rational Choice , 2006 .
[17] Matthew Richardson,et al. Markov logic networks , 2006, Machine Learning.
[18] Luc De Raedt,et al. Probabilistic Inductive Logic Programming - Theory and Applications , 2008, Probabilistic Inductive Logic Programming.
[19] Michael Norrish,et al. seL4: formal verification of an OS kernel , 2009, SOSP '09.
[20] Stuart J. Russell,et al. Metareasoning for Monte Carlo Tree Search , 2011 .
[21] Joseph Y. Halpern,et al. Dealing with logical omniscience: Expressiveness and pragmatics , 2007, Artif. Intell..
[22] David Picado Muiòo. Measuring and repairing inconsistency in probabilistic knowledge bases , 2011 .
[23] Abram Demski. Logical Prior Probability , 2012, AGI.
[24] Marcus Hutter,et al. Unifying probability and logic for learning , 2013, IJCAI 2013.
[25] Michael A. Osborne,et al. Probabilistic numerics and uncertainty in computations , 2015, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.
[26] Stuart J. Russell,et al. Unifying logic and probability , 2015, Commun. ACM.
[27] Nico Potyka,et al. Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures , 2015, IJCAI.
[28] Scott Garrabrant,et al. Asymptotic Logical Uncertainty and the Benford Test , 2015, AGI.
[29] Frank D. Wood,et al. Bayesian Optimization for Probabilistic Programs , 2017, NIPS.
[30] Dan Suciu. Probabilistic Databases , 2018, Encyclopedia of Database Systems.