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.