[1] CROPPER A, DUMANCIC S. Inductive logic programming at 30: a new introduction[J]. Journal of Artificial Intelligence Research, 2022, 74: 765-850.
[2] 戴望州, 周志华. 归纳逻辑程序设计综述[J]. 计算机研究与发展, 2019, 56(1): 138-154.
DAI W Z, ZHOU Z H. A survey on inductive logic programming[J]. Journal of Computer Research and Development, 2019, 56(1): 138-154.
[3] 郑磊, 贾东, 刘椿年. 归纳逻辑程序设计综述 [J]. 计算机工程与应用, 2003, 39(17): 43-46.
ZHENG L, JIA D, LIU C N. Introduction to inductive logic programming[J]. Computer Engineering and Applications, 2003, 39(17): 43-46.
[4] ZHANG Y, YANG Q. A survey on multi-task learning[J]. IEEE Transactions on Knowledge and Data Engineering, 2021, 34(12): 5586-5609.
[5] LIN D, DECHTER E, ELLIS K, et al. Bias reformulation for one-shot function induction[C]//Proceedings of the 21st European Conference on Artificial Intelligence, 2014: 525-530.
[6] CROPPER A. Forgetting to learn logic programs[C]//Proceedings of the AAAI Conference on Artificial Intelligence, 2020: 3676-3683.
[7] WIDMER G, KUBAT M. Learning in the presence of concept drift and hidden contexts[J]. Machine Learning, 1996, 23: 69-101.
[8] SABLON G, DE R L. Forgetting and compacting data in concept-learning[C]//Proceedings of the 14th International Joint Conference on Artificial Intelligence, 1995: 432-438.
[9] ELLIS K, MORALES L, SABLé-MEYER M, et al. Library learning for neurally-guided Bayesian program induction[C]//Proceedings of the 32nd International Conference on Neural Information Processing Systems, 2018: 7816-7826.
[10] MORUZZI C. Climbing the ladder: how agents reach counterfactual thinking[C]//Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022: 555-560.
[11] ABID A, YUKSEKGONUL M, ZOU J. Meaningfully debugging model mistakes using conceptual counterfactual explanations[C]//Proceedings of the International Conference on Machine Learning, 2022: 66-88.
[12] HUANG W, ZHANG L, WU X. Achieving counterfactual fairness for causal bandit[C]//Proceedings of the AAAI Conference on Artificial Intelligence, 2022: 6952-6959.
[13] KIM H, SHIN S, JANG J H, et al. Counterfactual fairness with disentangled causal effect variational autoencoder[C]//Proceedings of the AAAI Conference on Artificial Intelligence, 2021: 8128-8136.
[14] QUINLAN J R. Learning logical definitions from relations[J]. Machine Learning, 1990, 5: 239-266.
[15] MUGGLETON S H, LIN D, PAHLAVI N, et al. Meta-interpretive learning: application to grammatical inference[J]. Machine Learning, 2014, 94: 25-49.
[16] BLOCKEEL H, RAEDT D L. Top-down induction of first-order logical decision trees[J]. Artificial Intelligence, 1998, 101(1/2): 285-297.
[17] 李艳娟, 郭茂祖. 关系tri-training: 利用无标记数据学习一阶规则[J]. 计算机科学与探索, 2012, 6(5): 430-442.
LI Y J, GUO M Z. Relational-tri-training: learning first-order rules exploiting unlabeled data[J]. Journal of Frontiers of Computer Science and Technology, 2012, 6(5): 430-442.
[18] LAW M, RUSSO A, BRODA K. Inductive learning of answer set programs[C]//Proceedings of the 14th European Conference on Logics in Artificial Intelligence, 2014: 311-325.
[19] SIEBERS M, SCHMID U. Was the year 2000 a leap year? step-wise narrowing theories with metagol[C]//Proceedings of the International Conference on Inductive Logic Programming, 2018: 141-156.
[20] CROPPER A, MOREL R, MUGGLETON S. Learning higher-order logic programs[J]. Machine Learning, 2020, 109: 1289-1322.
[21] DUMAN?IC S, BLOCKEEL H. Clustering-based relational unsupervised representation learning with an explicit distributed representation[C]//Proceedings of the 26th International Joint Conference on Artificial Intelligence, 2017: 1631-1637.
[22] MARTíNEZ-PLUMED F, FERRI C, HERNáNDEZ-ORALLO J, et al. Knowledge acquisition with forgetting: an incremental and developmental setting[J]. Adaptive Behavior, 2015, 23(5): 283-299.
[23] BALOG M, GAUNT A L, BROCKSCHMIDT M, et al. DeepCoder: learning to write programs[J]. arXiv:1611.01989, 2016.
[24] KUSNER M, LOFTUS J, RUSSELL C, et al. Counterfactual fairness[C]//Proceedings of the 31st International Conference on Neural Information Processing Systems, 2017: 4069-4079.
[25] COLMERAUER A. An introduction to prolog Ⅲ[J]. Communications of the ACM, 1990, 33(7): 69-90.
[26] SCHAUB T, WOLTRAN S. Special issue on answer set programming[J]. KI-Künstliche Intelligenz, 2018, 32: 101-103.
[27] HU P, MOTIK B, HORROCKS I. Modular materialisation of datalog programs[J]. Artificial Intelligence, 2022, 308: 103726.
[28] RAEDT D L. Logical and relational learning[M]. Verlag Berlin Heidelberg: Springer, 2008.
[29] MILLER D. A survey of the proof-theoretic foundations of logic programming[J]. Theory and Practice of Logic Programming, 2022, 22(6): 859-904. |