{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,4]],"date-time":"2026-08-04T01:24:07Z","timestamp":1785806647299,"version":"3.56.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319491295","type":"print"},{"value":"9783319491301","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-49130-1_25","type":"book-chapter","created":{"date-parts":[[2016,11,4]],"date-time":"2016-11-04T14:13:59Z","timestamp":1478268839000},"page":"334-348","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":38,"title":["Learning and Reasoning with Logic Tensor Networks"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Serafini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artur S.","family":"d\u2019Avila Garcez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,11,5]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/2200000006","volume":"2","author":"Y Bengio","year":"2009","unstructured":"Bengio, Y.: Learning deep architectures for AI. Found. Trends Mach. Learn. 2, 1\u2013127 (2009)","journal-title":"Found. Trends Mach. Learn."},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1038\/nature16961","volume":"529","author":"D Silver","year":"2016","unstructured":"Silver, D., Huang, A., Maddison, C.J., Guez, A., Sifre, L., van den Driessche, G., Schrittwieser, J., Antonoglou, I., Panneershelvam, V., Lanctot, M., Dieleman, S., Grewe, D., Nham, J., Kalchbrenner, N., Sutskever, I., Lillicrap, T., Leach, M., Kavukcuoglu, K., Graepel, T., Hassabis, D.: Mastering the game of go with deep neural networks and tree search. Nature 529, 484\u2013503 (2016)","journal-title":"Nature"},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36, 41\u201350 (2003)","journal-title":"Computer"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Kiela, D., Bottou, L.: Learning image embeddings using convolutional neural networks for improved multi-modal semantics. In: Proceedings of EMNLP 2014 (2014)","DOI":"10.3115\/v1\/D14-1005"},{"key":"25_CR5","unstructured":"Socher, R., Chen, D., Manning, C.D., Ng, A.: Reasoning with neural tensor networks for knowledge base completion. In: Advances in Neural Information Processing Systems, pp. 926\u2013934 (2013)"},{"key":"25_CR6","unstructured":"Guha, R.: Towards a model theory for distributed representations. In: 2015 AAAI Spring Symposium Series (2015)"},{"key":"25_CR7","unstructured":"Bottou, L.: From machine learning to machine reasoning. Technical report, arXiv.1102.1808 (2011)"},{"key":"25_CR8","series-title":"Cognitive Technologies","volume-title":"Neural-Symbolic Cognitive Reasoning","author":"AS d\u2019Avila Garcez","year":"2009","unstructured":"d\u2019Avila Garcez, A.S., Lamb, L.C., Gabbay, D.M.: Neural-Symbolic Cognitive Reasoning. Cognitive Technologies. Springer, Heidelberg (2009)"},{"key":"25_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10994-011-5243-x","volume":"86","author":"M Diligenti","year":"2012","unstructured":"Diligenti, M., Gori, M., Maggini, M., Rigutini, L.: Bridging logic and kernel machines. Mach. Learn. 86, 57\u201388 (2012)","journal-title":"Mach. Learn."},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"2361","DOI":"10.1162\/neco.2008.07-06-290","volume":"20","author":"L Barrett","year":"2008","unstructured":"Barrett, L., Feldman, J., MacDermed, L.: A (somewhat) new solution to the variable binding problem. Neural Comput. 20, 2361\u20132378 (2008)","journal-title":"Neural Comput."},{"key":"25_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801129","volume-title":"An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems","author":"M Bergmann","year":"2008","unstructured":"Bergmann, M.: An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. Cambridge University Press, New York (2008)"},{"key":"25_CR12","unstructured":"TensorFlow: Large-scale machine learning on heterogeneous systems (2016). tensorflow.org"},{"key":"25_CR13","first-page":"50","volume":"4","author":"AS d\u2019Avila Garcez","year":"2014","unstructured":"d\u2019Avila Garcez, A.S., Gori, M., Hitzler, P., Lamb, L.C.: Neural-symbolic learning and reasoning (dagstuhl seminar 14381). Dagstuhl Rep. 4, 50\u201384 (2014)","journal-title":"Dagstuhl Rep."},{"key":"25_CR14","unstructured":"McCallum, A., Gabrilovich, E., Guha, R., Murphy, K. (eds.): Knowledge representation and reasoning: integrating symbolic and neural approaches. In: AAAI Spring Symposium, Stanford University, CA, USA (2015)"},{"key":"25_CR15","unstructured":"Besold, T.R., d\u2019Avila Garcez, A., Marcus, G.F., Miikulainen, R. (eds.): Cognitive computation: integrating neural and symbolic approaches. In: Workshop at NIPS 2015, Montreal, Canada, CEUR-WS 1583, April 2016"},{"key":"25_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning About Systems","author":"M Huth","year":"2004","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge University Press, New York (2004)"},{"key":"25_CR17","first-page":"993","volume":"3","author":"DM Blei","year":"2003","unstructured":"Blei, D.M., Ng, A.Y., Jordan, M.I.: Latent Dirichlet allocation. J. Mach. Learn. Res. 3, 993\u20131022 (2003)","journal-title":"J. Mach. Learn. Res."},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Brys, T., Drugan, M.M., Bosman, P.A., De Cock, M., Now\u00e9, A.: Solving satisfiability in fuzzy logics by mixing CMA-ES. In: Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, GECCO 2013, pp. 1125\u20131132. ACM, New York (2013)","DOI":"10.1145\/2463372.2463510"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Mach. Learn. 62, 107\u2013136 (2006)","journal-title":"Mach. Learn."},{"key":"25_CR20","unstructured":"Tieleman, T., Hinton, G.: Lecture 6.5 - RMSProp, COURSERA: Neural networks for machine learning. Technical report (2012)"},{"key":"25_CR21","unstructured":"Wang, J., Domingos, P.M.: Hybrid markov logic networks. In: AAAI, pp. 1106\u20131111 (2008)"},{"key":"25_CR22","unstructured":"Nath, A., Domingos, P.M.: Learning relational sum-product networks. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25\u201330, 2015, Austin, Texas, USA, pp. 2878\u20132886 (2015)"},{"key":"25_CR23","volume-title":"Neural Networks and Fuzzy Systems: A Dynamical Systems Approach to Machine Intelligence","author":"B Kosko","year":"1992","unstructured":"Kosko, B.: Neural Networks and Fuzzy Systems: A Dynamical Systems Approach to Machine Intelligence. Prentice-Hall Inc., Upper Saddle River (1992)"},{"key":"25_CR24","unstructured":"Milch, B., Marthi, B., Russell, S.J., Sontag, D., Ong, D.L., Kolobov, A.: BLOG: probabilistic models with unknown objects. In: IJCAI 2005, pp. 1352\u20131359 (2005)"},{"key":"25_CR25","series-title":"Synthesis Lectures on Artificial Intelligence and Machine Learning","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01574-8","volume-title":"Statistical Relational Artificial Intelligence: Logic, Probability, and Computation","author":"LD Raedt","year":"2016","unstructured":"Raedt, L.D., Kersting, K., Natarajan, S., Poole, D.: Statistical Relational Artificial Intelligence: Logic, Probability, and Computation. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool, San Rafael (2016)"},{"key":"25_CR26","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10994-014-5471-y","volume":"100","author":"SH Muggleton","year":"2015","unstructured":"Muggleton, S.H., Lin, D., Tamaddoni-Nezhad, A.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. Mach. Learn. 100, 49\u201373 (2015)","journal-title":"Mach. Learn."},{"key":"25_CR27","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s10994-013-5392-1","volume":"94","author":"MVM Fran\u00e7a","year":"2014","unstructured":"Fran\u00e7a, M.V.M., Zaverucha, G., d\u2019Avila Garcez, A.S.: Fast relational learning using bottom clause propositionalization with artificial neural networks. Mach. Learn. 94, 81\u2013104 (2014)","journal-title":"Mach. Learn."}],"container-title":["Lecture Notes in Computer Science","AI*IA 2016 Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49130-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T17:55:23Z","timestamp":1710266123000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-49130-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319491295","9783319491301"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49130-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"5 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AI*IA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Genova","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"XV","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.aixia2016.unige.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}