Inductive Logic Programming
暂无分享,去创建一个
[1] Chiaki Sakama,et al. Learning from interpretation transition , 2013, Machine Learning.
[2] S. Sarjant. Policy Search Based Relational Reinforcement Learning using the Cross-Entropy Method , 2013 .
[3] Martin Gebser,et al. Answer Set Solving in Practice , 2012, Answer Set Solving in Practice.
[4] Sofia Cassel,et al. Graph-Based Algorithms for Boolean Function Manipulation , 2012 .
[5] Chiaki Sakama,et al. Oscillating Behavior of Logic Programs , 2012, Correct Reasoning.
[6] Luc De Raedt,et al. ILP turns 20 , 2011, Machine Learning.
[7] Maxim Teslenko,et al. A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks , 2011, IEEE/ACM Transactions on Computational Biology and Bioinformatics.
[8] Katsumi Inoue,et al. Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Logic Programming for Boolean Networks , 2022 .
[9] Katsumi Inoue,et al. In defense of PDDL axioms , 2003, Artif. Intell..
[10] András Lörincz,et al. Online variants of the cross-entropy method , 2008, ArXiv.
[11] Gordon Plotkin,et al. A Note on Inductive Generalization , 2008 .
[12] Hiroki Arimura,et al. Frequent closed item set mining based on zero-suppressed BDDs (論文特集:データマイニングと統計数理) , 2007 .
[13] Ronald L. Rivest,et al. On Estimating the Size and Confidence of a Statistical Audit , 2007, EVT.
[14] Luc De Raedt,et al. ProbLog: A Probabilistic Prolog and its Application in Link Discovery , 2007, IJCAI.
[15] Jan Friso Groote,et al. Binary decision diagrams for first-order predicate logic , 2003, J. Log. Algebraic Methods Program..
[16] Karem A. Sakallah,et al. ZBDD-Based Backtrack Search SAT Solver , 2002, IWLS.
[17] Christoph Meinel,et al. Ordered binary decision diagrams , 2001 .
[18] Laurent Simon,et al. Efficient Consequence Finding , 2001, IJCAI.
[19] Shin-ichi Minato,et al. Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems , 1993, 30th ACM/IEEE Design Automation Conference.
[20] Randal E. Bryant,et al. Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.
[21] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[22] Sheldon B. Akers,et al. Binary Decision Diagrams , 1978, IEEE Transactions on Computers.
[23] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.