{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:34:13Z","timestamp":1726043653111},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030304836"},{"type":"electronic","value":"9783030304843"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-30484-3_49","type":"book-chapter","created":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T23:02:47Z","timestamp":1567983767000},"page":"608-620","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Conditions for Unnecessary Logical Constraints in Kernel Machines"],"prefix":"10.1007","author":[{"ORCID":"http:\/\/orcid.org\/0000-0001-8492-8110","authenticated-orcid":false,"given":"Francesco","family":"Giannini","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-6428-1265","authenticated-orcid":false,"given":"Marco","family":"Maggini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"49_CR1","doi-asserted-by":"crossref","unstructured":"Boser, B.E., Guyon, I.M., Vapnik, V.N.: A training algorithm for optimal margin classifiers. In: Proceedings of the Fifth Annual Workshop on Computational Learning Theory, pp. 144\u2013152. ACM (1992)","DOI":"10.1145\/130385.130401"},{"key":"49_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441","volume-title":"Convex Optimization","author":"S Boyd","year":"2004","unstructured":"Boyd, S., Vandenberghe, L.: Convex Optimization. Cambridge University Press, Cambridge (2004)"},{"issue":"3","key":"49_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1023\/A:1022627411411","volume":"20","author":"C Cortes","year":"1995","unstructured":"Cortes, C., Vapnik, V.: Support-vector networks. Mach. Learn. 20(3), 273\u2013297 (1995). \n https:\/\/doi.org\/10.1023\/A:1022627411411","journal-title":"Mach. Learn."},{"key":"49_CR4","unstructured":"Cumby, C.M., Roth, D.: On kernel methods for relational learning. In: Proceedings of the 20th International Conference on Machine Learning (ICML 2003), pp. 107\u2013114 (2003)"},{"issue":"1","key":"49_CR5","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(1), 57\u201388 (2012)","journal-title":"Mach. Learn."},{"key":"49_CR6","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.artint.2015.08.011","volume":"244","author":"M Diligenti","year":"2015","unstructured":"Diligenti, M., Gori, M., Sacc\u00e0, C.: Semantic-based regularization for learning and inference. Artif. Intell. 244, 143\u2013165 (2015)","journal-title":"Artif. Intell."},{"key":"49_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-319-71249-9_25","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"F Giannini","year":"2017","unstructured":"Giannini, F., Diligenti, M., Gori, M., Maggini, M.: Learning \u0141ukasiewicz logic fragments by quadratic programming. In: Ceci, M., Hollm\u00e9n, J., Todorovski, L., Vens, C., D\u017eeroski, S. (eds.) ECML PKDD 2017. LNCS (LNAI), vol. 10534, pp. 410\u2013426. Springer, Cham (2017). \n https:\/\/doi.org\/10.1007\/978-3-319-71249-9_25"},{"issue":"7","key":"49_CR8","doi-asserted-by":"publisher","first-page":"1407","DOI":"10.1109\/TFUZZ.2018.2879627","volume":"27","author":"F Giannini","year":"2018","unstructured":"Giannini, F., Diligenti, M., Gori, M., Maggini, M.: On a convex logic fragment for learning and reasoning. IEEE Trans. Fuzzy Syst. 27(7), 1407\u20131416 (2018)","journal-title":"IEEE Trans. Fuzzy Syst."},{"issue":"2","key":"49_CR9","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1162\/NECO_a_00686","volume":"27","author":"G Gnecco","year":"2015","unstructured":"Gnecco, G., Gori, M., Melacci, S., Sanguineti, M.: Foundations of support constraint machines. Neural computation 27(2), 388\u2013480 (2015)","journal-title":"Neural computation"},{"key":"49_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-642-24955-6_4","volume-title":"Neural Information Processing","author":"M Gori","year":"2011","unstructured":"Gori, M., Melacci, S.: Support constraint machines. In: Lu, B.-L., Zhang, L., Kwok, J. (eds.) ICONIP 2011. LNCS, vol. 7062, pp. 28\u201337. Springer, Heidelberg (2011). \n https:\/\/doi.org\/10.1007\/978-3-642-24955-6_4"},{"issue":"5","key":"49_CR11","doi-asserted-by":"publisher","first-page":"825","DOI":"10.1109\/TNNLS.2013.2241787","volume":"24","author":"M Gori","year":"2013","unstructured":"Gori, M., Melacci, S.: Constraint verification with kernel machines. IEEE Trans. Neural Networks Learn. Syst. 24(5), 825\u2013831 (2013)","journal-title":"IEEE Trans. Neural Networks Learn. Syst."},{"key":"49_CR12","series-title":"Trends in Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Trends in Logic, vol. 4, 1st edn. Springer, Dordrecht (1998). \n https:\/\/doi.org\/10.1007\/978-94-011-5300-3","edition":"1"},{"key":"49_CR13","doi-asserted-by":"crossref","unstructured":"Hu, Z., Ma, X., Liu, Z., Hovy, E., Xing, E.: Harnessing deep neural networks with logic rules. arXiv preprint \n arXiv:1603.06318\n \n (2016)","DOI":"10.18653\/v1\/P16-1228"},{"issue":"1","key":"49_CR14","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10589-010-9324-8","volume":"51","author":"JH Jung","year":"2012","unstructured":"Jung, J.H., O\u2019Leary, D.P., Tits, A.L.: Adaptive constraint reduction for convex quadratic programming. Comput. Optim. Appl. 51(1), 125\u2013157 (2012)","journal-title":"Comput. Optim. Appl."},{"key":"49_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11563983_15","volume-title":"Discovery Science","author":"S Muggleton","year":"2005","unstructured":"Muggleton, S., Lodhi, H., Amini, A., Sternberg, M.J.E.: Support vector inductive logic programming. In: Hoffmann, A., Motoda, H., Scheffer, T. (eds.) DS 2005. LNCS (LNAI), vol. 3735, pp. 163\u2013175. Springer, Heidelberg (2005). \n https:\/\/doi.org\/10.1007\/11563983_15"},{"key":"49_CR16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781316219232","volume-title":"An Introduction to the Theory of Reproducing Kernel Hilbert spaces","author":"VI Paulsen","year":"2016","unstructured":"Paulsen, V.I., Raghupathi, M.: An Introduction to the Theory of Reproducing Kernel Hilbert spaces, vol. 152. Cambridge University Press, Cambridge (2016)"},{"key":"49_CR17","series-title":"Grundlehren der mathematischen Wissenschaften","volume-title":"Variational analysis","author":"RT Rockafellar","year":"2009","unstructured":"Rockafellar, R.T., Wets, R.J.B.: Variational analysis. Grundlehren der mathematischen Wissenschaften, vol. 317, 1st edn. Springer, Heidelberg (2009)","edition":"1"},{"key":"49_CR18","unstructured":"Serafini, L., Garcez, A.d.: Logic tensor networks: deep learning and logical reasoning from data and knowledge. arXiv preprint \n arXiv:1606.04422\n \n (2016)"},{"key":"49_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-49130-1_25","volume-title":"AI*IA 2016 Advances in Artificial Intelligence","author":"L Serafini","year":"2016","unstructured":"Serafini, L., d\u2019Avila Garcez, A.S.: Learning and reasoning with logic tensor networks. In: Adorni, G., Cagnoni, S., Gori, M., Maratea, M. (eds.) AI*IA 2016. LNCS (LNAI), vol. 10037, pp. 334\u2013348. Springer, Cham (2016). \n https:\/\/doi.org\/10.1007\/978-3-319-49130-1_25"}],"container-title":["Lecture Notes in Computer Science","Artificial Neural Networks and Machine Learning \u2013 ICANN 2019: Deep Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30484-3_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T23:06:13Z","timestamp":1567983973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30484-3_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030304836","9783030304843"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30484-3_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICANN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial Neural Networks","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Munich","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icann2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/e-nns.org\/icann2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}