{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,10]],"date-time":"2025-12-10T08:57:19Z","timestamp":1765357039338,"version":"3.37.3"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T00:00:00Z","timestamp":1637712000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T00:00:00Z","timestamp":1637712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100009879","name":"Regione Emilia-Romagna","doi-asserted-by":"publisher","award":["POR FSE 2014-2020 program"],"award-info":[{"award-number":["POR FSE 2014-2020 program"]}],"id":[{"id":"10.13039\/501100009879","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1007\/s10994-021-06097-1","type":"journal-article","created":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T16:02:35Z","timestamp":1637769755000},"page":"625-650","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Symbolic DNN-Tuner"],"prefix":"10.1007","volume":"111","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7656-7204","authenticated-orcid":false,"given":"Michele","family":"Fraccaroli","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,11,24]]},"reference":[{"unstructured":"Bender, G., Kindermans, P.J., Zoph, B., Vasudevan, V., Le, Q. (2018). Understanding and simplifying one-shot architecture search. In: International Conference on Machine Learning, pp. 550\u2013559.","key":"6097_CR2"},{"key":"6097_CR3","first-page":"281","volume":"13","author":"J Bergstra","year":"2012","unstructured":"Bergstra, J., & Bengio, Y. (2012). Random search for hyper-parameter optimization. Journal of Machine Learning Research, 13, 281\u2013305.","journal-title":"Journal of Machine Learning Research"},{"unstructured":"Bergstra, J.S., Bardenet, R., Bengio, Y., K\u00e9gl, B. (2011). Algorithms for hyper-parameter optimization. In: Advances in Neural Information Processing Systems, pp. 2546\u20132554.","key":"6097_CR4"},{"unstructured":"Bertrand, H., Ardon, R., Perrot, M., Bloch, I. (2017). Hyperparameter optimization of deep neural networks: Combining hyperband with bayesian model selection. In: Conf\u00e9rence sur l\u2019Apprentissage Automatique.","key":"6097_CR5"},{"key":"6097_CR6","volume-title":"Pattern recognition and machine learning","author":"CM Bishop","year":"2006","unstructured":"Bishop, C. M. (2006). Pattern recognition and machine learning. Berlin: Springer."},{"unstructured":"Cai, H., Zhu, L., Han, S. (2018) Proxylessnas: Direct neural architecture search on target task and hardware. arXiv preprint arXiv:1812.00332.","key":"6097_CR7"},{"unstructured":"Darwiche, A. (2011). Sdd: A new canonical representation of propositional knowledge bases. In: Twenty-Second International Joint Conference on Artificial Intelligence.","key":"6097_CR8"},{"unstructured":"De\u00a0Raedt, L., Kimmig, A., Toivonen, H. (2007). Problog: A probabilistic prolog and its application in link discovery. In: IJCAI, vol.\u00a07, pp. 2462\u20132467.","key":"6097_CR9"},{"key":"6097_CR10","first-page":"1","volume":"Methodological)","author":"AP Dempster","year":"1977","unstructured":"Dempster, A. P., Laird, N. M., & Rubin, D. B. (1977). Maximum likelihood from incomplete data via the em algorithm. Journal of the Royal Statistical Society: Series B, Methodological),39(1, 1\u201322.","journal-title":"Journal of the Royal Statistical Society: Series B"},{"unstructured":"Dewancker, I., McCourt, M., Clark, S. (2015). Bayesian optimization primer.","key":"6097_CR11"},{"doi-asserted-by":"crossref","unstructured":"Dries, A., Kimmig, A., Meert, W., Renkens, J., Van\u00a0den Broeck, G., Vlasselaer, J., De\u00a0Raedt, L. (2015) Problog2: Probabilistic logic programming. In: Joint European Conference on Machine Learning and Knowledge Discovery in Databases, pp. 312\u2013315. Springer","key":"6097_CR12","DOI":"10.1007\/978-3-319-23461-8_37"},{"doi-asserted-by":"crossref","unstructured":"Elsken, T., Metzen, J.H., Hutter, F. (2018). Neural architecture search: A survey. arXiv preprint arXiv:1808.05377.","key":"6097_CR13","DOI":"10.1007\/978-3-030-05318-5_3"},{"doi-asserted-by":"crossref","unstructured":"Fadja, A.N., Riguzzi, F. (2017). Probabilistic logic programming in action. In: Towards Integrative Machine Learning and Knowledge Extraction, pp. 89\u2013116. Springer","key":"6097_CR14","DOI":"10.1007\/978-3-319-69775-8_5"},{"issue":"3","key":"6097_CR15","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1017\/S1471068414000076","volume":"15","author":"D Fierens","year":"2015","unstructured":"Fierens, D., Van den Broeck, G., Renkens, J., Shterionov, D., Gutmann, B., Thon, I., et al. (2015). Inference and learning in probabilistic logic programs using weighted boolean formulas. Theory and Practice of Logic Programming, 15(3), 358\u2013401.","journal-title":"Theory and Practice of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"Fraccaroli, M., Lamma, E., & Riguzzi, F. (2021). Symbolic dnn-tuner, a python and problog-based system for optimizing deep neural networks hyperparameters. SoftwareX. Under submission.","key":"6097_CR30","DOI":"10.1016\/j.softx.2021.100957"},{"unstructured":"Frazier, P.I. (2018) A tutorial on bayesian optimization. arXiv preprint arXiv:1807.02811.","key":"6097_CR16"},{"issue":"4\u20135","key":"6097_CR17","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1017\/S1471068412000245","volume":"12","author":"A Gorlin","year":"2012","unstructured":"Gorlin, A., Ramakrishnan, C., & Smolka, S. A. (2012). Model checking with probabilistic tabled logic programming. Theory and Practice of Logic Programming, 12(4\u20135), 681\u2013700.","journal-title":"Theory and Practice of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"Guo, Z., Zhang, X., Mu, H., Heng, W., Liu, Z., Wei, Y., Sun, J. (2019). Single path one-shot neural architecture search with uniform sampling. arXiv preprint arXiv:1904.00420.","key":"6097_CR18","DOI":"10.1007\/978-3-030-58517-4_32"},{"doi-asserted-by":"crossref","unstructured":"Gutmann, B., Thon, I., De\u00a0Raedt, L. (2011). Learning the parameters of probabilistic logic programs from interpretations. In: Joint European Conference on Machine Learning and Knowledge Discovery in Databases, pp. 581\u2013596. Springer.","key":"6097_CR19","DOI":"10.1007\/978-3-642-23780-5_47"},{"unstructured":"Ioffe, S., Szegedy, C. (2015). Batch normalization: Accelerating deep network training by reducing internal covariate shift. CoRR http:\/\/arxiv.org\/abs\/1502.03167.","key":"6097_CR20"},{"unstructured":"Jalali, A., Azimi, J., Fern, X.Z. (2012). Exploration vs exploitation in bayesian optimization. CoRR http:\/\/arxiv.org\/abs\/1204.0047","key":"6097_CR21"},{"doi-asserted-by":"crossref","unstructured":"Jin, H., Song, Q., Hu, X. (2019). Auto-keras: An efficient neural architecture search system. In: Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, pp. 1946\u20131956.","key":"6097_CR22","DOI":"10.1145\/3292500.3330648"},{"key":"6097_CR23","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1023\/A:1008306431147","volume":"optimization,13","author":"DR Jones","year":"1998","unstructured":"Jones, D. R., Schonlau, M., & Welch, W. J. (1998). Efficient global optimization of expensive black-box functions. Journal of Global, optimization,13(4), 455\u2013492.","journal-title":"Journal of Global"},{"unstructured":"Korichi, Guillemot, M., Heus\u00e8le, C. (2019). Rodolphe: Tuning neural network hyperparameters through bayesian optimization and application to cosmetic formulation data. In: ORASIS 2019.","key":"6097_CR24"},{"unstructured":"Krizhevsky, A., Nair, V., Hinton, G.: Cifar-10 (canadian institute for advanced research) http:\/\/www.cs.toronto.edu\/~kriz\/cifar.html","key":"6097_CR25"},{"unstructured":"Krizhevsky, A., Nair, V., Hinton, G. (2009). Cifar-100 (canadian institute for advanced research) http:\/\/www.cs.toronto.edu\/~kriz\/cifar.html","key":"6097_CR26"},{"unstructured":"van Laarhoven, T. (2017). L2 regularization versus batch and weight normalization. CoRR http:\/\/arxiv.org\/abs\/1706.05350.","key":"6097_CR27"},{"unstructured":"Liu, H., Simonyan, K., Yang, Y. (2018). Darts: Differentiable architecture search. arXiv preprint arXiv:1806.09055.","key":"6097_CR28"},{"doi-asserted-by":"crossref","unstructured":"Meert, W., Struyf, J., Blockeel, H. (2009). Cp-logic theory inference with contextual variable elimination and comparison to bdd based inference methods. In: International Conference on Inductive Logic Programming, pp. 96\u2013109. Springer.","key":"6097_CR29","DOI":"10.1007\/978-3-642-13840-9_10"},{"key":"6097_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35289-8","volume-title":"Neural networks: tricks of the trade","author":"G Montavon","year":"2012","unstructured":"Montavon, G., Orr, G., & M\u00faller, K. R. (2012). Neural networks: tricks of the trade (Vol. 7700). Berlin: Springer."},{"issue":"5","key":"6097_CR32","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1093\/bioinformatics\/btr698","volume":"28","author":"S M\u00f8rk","year":"2012","unstructured":"M\u00f8rk, S., & Holmes, I. (2012). Evaluating bacterial gene-finding hmm structures as probabilistic logic programs. Bioinformatics, 28(5), 636\u2013642.","journal-title":"Bioinformatics"},{"unstructured":"Ngn, A., Mourri, Y. B., & Katanforoosh, K. (2017). Improving deep neural networks: Hyperparameter tuning, regularization and optimization. https:\/\/www.coursera.org\/learn\/deep-neural-network.","key":"6097_CR1"},{"issue":"6","key":"6097_CR33","doi-asserted-by":"publisher","first-page":"995","DOI":"10.3390\/en12060995","volume":"12","author":"M Ou","year":"2019","unstructured":"Ou, M., Wei, H., Zhang, Y., & Tan, J. (2019). A dynamic adam based deep neural network for fault diagnosis of oil-immersed power transformers. Energies, 12(6), 995.","journal-title":"Energies"},{"unstructured":"Pham, H., Guan, M.Y., Zoph, B., Le, Q.V., Dean, J. (2018). Efficient neural architecture search via parameter sharing. arXiv preprint arXiv:1802.03268.","key":"6097_CR34"},{"key":"6097_CR35","first-page":"63","volume-title":"Summer school on machine learning","author":"CE Rasmussen","year":"2003","unstructured":"Rasmussen, C. E. (2003). Gaussian processes in machine learning. Summer school on machine learning (pp. 63\u201371). Berlin: Springer."},{"doi-asserted-by":"crossref","unstructured":"Real, E., Aggarwal, A., Huang, Y., Le, Q.V. (2019). Regularized evolution for image classifier architecture search. In Proceedings of the AAAI Conference on Artificial Intelligence, pp. 4780-4789.","key":"6097_CR36","DOI":"10.1609\/aaai.v33i01.33014780"},{"doi-asserted-by":"crossref","unstructured":"Real, E., Aggarwal, A., Huang, Y., Le, Q.V. (2019). Regularized evolution for image classifier architecture search. In: Proceedings of the AAAI Conference on Artificial Intelligence, (vol.\u00a033), pp. 4780\u20134789.","key":"6097_CR37","DOI":"10.1609\/aaai.v33i01.33014780"},{"issue":"3","key":"6097_CR38","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1093\/comjnl\/bxt096","volume":"57","author":"F Riguzzi","year":"2014","unstructured":"Riguzzi, F. (2014). Speeding up inference for probabilistic logic programs. The Computer Journal, 57(3), 347\u2013363.","journal-title":"The Computer Journal"},{"key":"6097_CR39","volume-title":"Foundations of probabilistic logic programming","author":"F Riguzzi","year":"2018","unstructured":"Riguzzi, F. (2018). Foundations of probabilistic logic programming. Denmark: River Publishers."},{"unstructured":"Riguzzi, F., Lamma, E., Alberti, M., Bellodi, E., Zese, R., Cota, G., et\u00a0al. (2016). Probabilistic logic programming for natural language processing. In: URANIA@ AI* IA, pp. 30\u201337.","key":"6097_CR40"},{"unstructured":"Sato, T. (1995). A statistical learning method for logic programs with distribution semantics. In: In Proceedings of the 12th International Conference On Logic Programming ICLP\u201995. Citeseer.","key":"6097_CR41"},{"unstructured":"Sato, T., Kameya, Y. (1997). Prism: a language for symbolic-statistical modeling. In: IJCAI, (vol.\u00a097), pp. 1330\u20131339.","key":"6097_CR42"},{"issue":"2","key":"6097_CR43","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1017\/S1471068413000677","volume":"15","author":"T Sato","year":"2015","unstructured":"Sato, T., & Kubota, K. (2015). Viterbi training in prism. Theory and Practice of Logic Programming, 15(2), 147\u2013168.","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1","key":"6097_CR44","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1186\/s40537-019-0197-0","volume":"6","author":"C Shorten","year":"2019","unstructured":"Shorten, C., & Khoshgoftaar, T. M. (2019). A survey on image data augmentation for deep learning. Journal of Big Data, 6(1), 60.","journal-title":"Journal of Big Data"},{"unstructured":"Snoek, J., Larochelle, H., Adams, R.P. (2012) Practical bayesian optimization of machine learning algorithms. In: Advances in Neural Information Processing Systems, pp. 2951\u20132959.","key":"6097_CR45"},{"key":"6097_CR46","first-page":"1929","volume":"research,15(1)","author":"N Srivastava","year":"2014","unstructured":"Srivastava, N., Hinton, G., Krizhevsky, A., Sutskever, I., & Salakhutdinov, R. (2014). Dropout: a simple way to prevent neural networks from overfitting. The Journal of Machine Learning, research,15(1), 1929\u20131958.","journal-title":"The Journal of Machine Learning"},{"unstructured":"Yu, T., Zhu, H. (2020). Hyper-parameter optimization: A review of algorithms and applications. arXiv preprint arXiv:2003.05689.","key":"6097_CR47"},{"doi-asserted-by":"crossref","unstructured":"Zoph, B., Vasudevan, V., Shlens, J., Le, Q.V. (2018). Learning transferable architectures for scalable image recognition. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 8697\u20138710.","key":"6097_CR48","DOI":"10.1109\/CVPR.2018.00907"}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-021-06097-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10994-021-06097-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-021-06097-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T19:25:06Z","timestamp":1726169106000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10994-021-06097-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,24]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["6097"],"URL":"https:\/\/doi.org\/10.1007\/s10994-021-06097-1","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"type":"print","value":"0885-6125"},{"type":"electronic","value":"1573-0565"}],"subject":[],"published":{"date-parts":[[2021,11,24]]},"assertion":[{"value":"23 April 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 December 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 July 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 November 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}