@(xai,
 title        = {Explainable Artificial Intelligence (XAI)},
 doi          = {10.23919/MIPRO.2018.8400040},
 url          = {https://www.darpa.mil/program/explainable-artificial-intelligence},
)
@book(baral,
 author       = {Chitta Baral},
 year         = {2003},
 title        = {Knowledge representation, reasoning and declarative problem solving},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, New York, Melbourne},
 doi          = {10.1017/CBO9780511543357},
)
@inproceedings(xgboost,
 author       = {Tianqi Chen and Carlos Guestrin},
 year         = {2016},
 title        = {XGBoost: A Scalable Tree Boosting System},
 booktitle    = {Proceedings of the 22Nd ACM SIGKDD},
 series       = {KDD '16},
 pages        = {785--794},
 doi          = {10.1145/2939672.2939785},
)
@article(huim,
 author       = {Wensheng Gan and Jerry Chun{-}Wei Lin and Fournier{-}Viger, Philippe and Han{-}Chieh Chao and Tzung{-}Pei Hong and Hamido Fujita},
 year         = {2018},
 title        = {A survey of incremental high-utility itemset mining},
 journal      = {Wiley Interdiscip. Rev. Data Min. Knowl. Discov.},
 volume       = {8},
 number       = {2},
 doi          = {10.1609/aaai.v33i01.33013052},
)
@book(gelfond-book,
 author       = {Michael Gelfond and Yulia Kahl},
 year         = {2014},
 title        = {Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
 doi          = {10.1017/CBO9781139342124},
)
@misc(uci,
 author       = {M. Lichman},
 year         = {2013},
 title        = {{UCI},ML Repository, http://archive.ics.uci.edu/ml},
)
@misc(shap,
 author       = {Scott M Lundberg and Su-In Lee},
 year         = {2017},
 title        = {A unified approach to interpreting model predictions},
 howpublished = {\url{https://github.com/slundberg/shap}},
)
@article(mcmillan,
 author       = {K. L. McMillan},
 year         = {2005},
 title        = {An Interpolating Theorem Prover},
 journal      = {Theor. Comput. Sci.},
 volume       = {345},
 number       = {1},
 pages        = {101--121},
 doi          = {10.1016/j.tcs.2005.07.003},
)
@article(ilp,
 author       = {Stephen Muggleton},
 year         = {1991},
 title        = {Inductive Logic Programming},
 journal      = {New Gen. Comput.},
 volume       = {8},
 number       = {4},
 pages        = {295--318},
 doi          = {10.1007/BF03037089},
)
@article(ilp20,
 author       = {Stephen Muggleton and Luc Raedt and David Poole and Ivan Bratko and Peter Flach and Katsumi Inoue and Ashwin Srinivasan},
 year         = {2012},
 title        = {ILP Turns 20},
 journal      = {Mach. Learn.},
 volume       = {86},
 number       = {1},
 pages        = {3--23},
 doi          = {10.1007/s10994-011-5259-2},
)
@misc(plotkin70,
 author       = {G. D. Plotkin},
 year         = {1971},
 title        = {A further note on inductive generalization, In machine Intelligence, volume 6, pages 101-124},
)
@article(foil,
 author       = {J. Ross Quinlan},
 year         = {1990},
 title        = {Learning Logical Definitions from Relations},
 journal      = {Machine Learning},
 volume       = {5},
 pages        = {239--266},
 doi          = {10.1007/BF00117105},
)
@inproceedings(lime,
 author       = {Marco Tulio Ribeiro and Sameer Singh and Carlos Guestrin},
 year         = {2016},
 title        = {"Why Should {I} Trust You?": Explaining the Predictions of Any Classifier},
 booktitle    = {Proceedings of the 22nd {ACM} {SIGKDD} 2016},
 pages        = {1135--1144},
 doi          = {10.1145/2939672.2939778},
)
@manual(alephswiprolog,
 author       = {F. Riguzzi},
 year         = {2016},
 title        = {ALEPH in SWI-Prolog},
 url          = {https://github.com/friguzzi/aleph},
)
@article(sakama05,
 author       = {Chiaki Sakama},
 year         = {2005},
 title        = {Induction from answer sets in nonmonotonic logic programs},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {6},
 number       = {2},
 pages        = {203--231},
 doi          = {10.1145/1055686.1055687},
)
@misc(farhadgithub,
 author       = {F. Shakerin},
 year         = {2019},
 title        = {FOLD package},
 howpublished = {\url{https://github.com/fxs130430/SHAP_FOLD}},
)
@inproceedings(AAAI2018,
 author       = {Farhad Shakerin and Gopal Gupta},
 year         = {2019},
 title        = {Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using {LIME}},
 booktitle    = {{AAAI}},
 publisher    = {{AAAI} Press},
 pages        = {3052--3059},
 doi          = {10.1609/aaai.v33i01.33013052},
)
@article(fold,
 author       = {Farhad Shakerin and Elmer Salazar and Gopal Gupta},
 year         = {2017},
 title        = {A new algorithm to automate inductive learning of default theories},
 journal      = {{TPLP}},
 volume       = {17},
 number       = {5-6},
 pages        = {1010--1026},
 doi          = {10.1017/S1471068417000333},
)
@manual(aleph,
 author       = {A. Srinivasan},
 year         = {2001},
 title        = {The Aleph Manual},
 url          = {http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/},
)
@book(gdpr,
 author       = {Paul Voigt and Axel von dem Bussche},
 year         = {2017},
 title        = {The EU General Data Protection Regulation (GDPR): A Practical Guide},
 edition      = {1st},
 publisher    = {Springer Publishing Company, Incorporated},
 doi          = {10.1007/978-3-319-57959-7},
)
@article(counterfactual,
 author       = {Sandra Wachter and Brent Mittelstadt and Chris Russell},
 year         = {2017},
 title        = {Counterfactual explanations without opening the black box: Automated decisions and the GDPR.(2017)},
 journal      = {Harvard Journal of Law \& Technology},
 volume       = {31},
 pages        = {841},
 doi          = {10.2139/ssrn.3063289},
)
@article(quickfoil,
 author       = {Qiang Zeng and Jignesh M. Patel and David Page},
 year         = {2014},
 title        = {QuickFOIL: Scalable Inductive Logic Programming},
 journal      = {Proc. VLDB Endow.},
 volume       = {8},
 number       = {3},
 pages        = {197--208},
 doi          = {10.14778/2735508.2735510},
)