{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:48:04Z","timestamp":1767649684231,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030295158"},{"type":"electronic","value":"9783030295165"}],"license":[{"start":{"date-parts":[[2019,8,24]],"date-time":"2019-08-24T00:00:00Z","timestamp":1566604800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-29516-5_61","type":"book-chapter","created":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T12:03:48Z","timestamp":1566561828000},"page":"810-820","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Propositional Deductive Inference by Semantic Vectors"],"prefix":"10.1007","author":[{"given":"Douglas","family":"Summers-Stay","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,24]]},"reference":[{"key":"61_CR1","unstructured":"Bordes, A., Usunier, N., Garcia-Duran, A., Weston, J., Yakhnenko, O.: Translating embeddings for modeling multi-relational data. In: Advances in Neural Information Processing Systems, pp. 2787\u20132795 (2013)"},{"issue":"4","key":"61_CR2","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1080\/00401706.1995.10484371","volume":"37","author":"L Breiman","year":"1995","unstructured":"Breiman, L.: Better subset regression using the nonnegative garrote. Technometrics 37(4), 373\u2013384 (1995)","journal-title":"Technometrics"},{"key":"61_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1076-5670(05)42001-7","volume":"142","author":"HJ Caulfield","year":"2006","unstructured":"Caulfield, H.J., Qian, L., Vikram, C.S., Zavalin, A., Chouffani, K., Hardy, J., Mccurdy, W.J., Westphal, J.: Conservative optical logic devices: cold. Adv. Imaging Electron Phys. 142, 1\u201352 (2006)","journal-title":"Adv. Imaging Electron Phys."},{"key":"61_CR4","unstructured":"Martin Gardner (1959). Logic machines and diagrams"},{"key":"61_CR5","unstructured":"Gordon, A.S., USC EDU: Solving interpretation problems with etcetera abduction. In: Proceedings of the Fifth Annual Conference on Advances in Cognitive Systems (2017)"},{"issue":"14","key":"61_CR6","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1093\/mind\/os-4.14.192","volume":"4","author":"R Harley","year":"1879","unstructured":"Harley, R.: The stanhope demonstrator. Mind 4(14), 192\u2013210 (1879)","journal-title":"Mind"},{"issue":"2","key":"61_CR7","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s12559-009-9009-8","volume":"1","author":"P Kanerva","year":"2009","unstructured":"Kanerva, P.: Hyperdimensional computing: an introduction to computing in distributed representation with high-dimensional random vectors. Cogn. Comput. 1(2), 139\u2013159 (2009)","journal-title":"Cogn. Comput."},{"key":"61_CR8","unstructured":"Kiros, R., Zhu, Y., Salakhutdinov, R.R., Zemel, R., Urtasun, R., Torralba, A., Fidler, S.: Skip-thought vectors. In: Advances in Neural Information Processing Systems, pp. 3294\u20133302 (2015)"},{"key":"61_CR9","doi-asserted-by":"crossref","unstructured":"Lawson, C.L., Hanson, R.J.: Solving least squares problems, vol. 15. Siam (1995)","DOI":"10.1137\/1.9781611971217"},{"key":"61_CR10","unstructured":"Lee, M., He, X., Yih, W., Gao, J., Deng, L., Smolensky, P.: Reasoning in vector space: an exploratory study of question answering. arXiv preprint \n                  arXiv:1511.06426\n                  \n                 (2015)"},{"key":"61_CR11","unstructured":"Levy, S.D., Gayler, R.: Vector symbolic architectures: a new building material for artificial general intelligence. In: Proceedings of the 2008 Conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference, pp. 414\u2013418. IOS Press (2008)"},{"key":"61_CR12","unstructured":"Mikolov, T., Sutskever, I., Chen, K., Corrado, G.S., Dean, J.: Distributed representations of words and phrases and their compositionality. In: Advances in Neural Information Processing Systems, pp. 3111\u20133119 (2013)"},{"key":"61_CR13","doi-asserted-by":"crossref","unstructured":"Neelakantan, A., Roth, B., Mc-Callum, A.: Compositional vector space models for knowledge base inference. In: 2015 AAAI Spring Symposium Series (2015)","DOI":"10.3115\/v1\/P15-1016"},{"key":"61_CR14","doi-asserted-by":"crossref","unstructured":"Rockt\u00e4schel, T., Riedel, S.: Learning knowledge base inference with neural theorem provers. In: Proceedings of the 5th Workshop on Automated Knowledge Base Construction, pp. 45\u201350 (2016)","DOI":"10.18653\/v1\/W16-1309"},{"key":"61_CR15","unstructured":"Rudinger, R., Duh, K., Van\u00a0Durme, B.: Skip-prop: Representing sentences with one vector per proposition. In: IWCS 2017 12th International Conference on Computational Semantics - Short papers (2017)"},{"key":"61_CR16","doi-asserted-by":"crossref","unstructured":"Rumelhart, D.E., Hinton, G.E., Williams, R.J.: Learning internal representations by error propagation. Technical report, California Univ San Diego La Jolla Inst for Cognitive Science (1985)","DOI":"10.21236\/ADA164453"},{"key":"61_CR17","volume-title":"Artificial Intelligence: A Modern Approach","author":"SJ Russell","year":"2016","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson Education Limited, Malaysia (2016)"},{"key":"61_CR18","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-319-63703-7_11","volume-title":"Artificial General Intelligence","author":"Douglas Summers-Stay","year":"2017","unstructured":"Summers-Stay, D.: Deductive and analogical reasoning on a semantically embedded knowledge graph. In: International Conference on Artificial General Intelligence, pp. 112\u2013122 (2017)"},{"key":"61_CR19","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-319-59719-5_10","volume-title":"Autonomy and Artificial Intelligence: A Threat or Savior?","author":"Douglas Summers-Stay","year":"2017","unstructured":"Summers-Stay, D.: Semantic vector spaces for broadening consideration of consequences. In: Autonomy and Artificial Intelligence: A Threat or Savior? pp. 227\u2013243 (2017)"},{"key":"61_CR20","first-page":"34","volume":"16","author":"D Summers-Stay","year":"2016","unstructured":"Summers-Stay, D., Voss, C., Cassidy, T.: Using a distributional semantic vector space with a knowledge base for reasoning in uncertain conditions. Biol. Inspired Cogn. Archit. 16, 34\u201344 (2016)","journal-title":"Biol. Inspired Cogn. Archit."},{"key":"61_CR21","unstructured":"Turney, P.D.: Measuring semantic similarity by latent relational analysis. arXiv preprint cs\/0508053 (2005)"},{"key":"61_CR22","doi-asserted-by":"crossref","unstructured":"Wang, H., Onishi, T., Gimpel, K., McAllester, D.: Emergent predication structure in vector representations of neural readers (2016)","DOI":"10.18653\/v1\/W17-2604"},{"key":"61_CR23","unstructured":"Wang, J.: Dpc (dpp) screening methods for nonnegative lasso. \n                  http:\/\/dpc-screening.github.io\/nnlasso.html\n                  \n                . Accessed 14 Nov 2018"},{"issue":"2","key":"61_CR24","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1093\/jigpal\/jzu028","volume":"23","author":"D Widdows","year":"2014","unstructured":"Widdows, D., Cohen, T.: Reasoning with vectors: a continuous model for fast robust inference. Logic J. IGPL 23(2), 141\u2013173 (2014)","journal-title":"Logic J. IGPL"}],"container-title":["Advances in Intelligent Systems and Computing","Intelligent Systems and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29516-5_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T21:03:26Z","timestamp":1566594206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-29516-5_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,24]]},"ISBN":["9783030295158","9783030295165"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29516-5_61","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,8,24]]},"assertion":[{"value":"24 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IntelliSys","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Proceedings of SAI Intelligent Systems Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","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":"5 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"intellisys2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/saiconference.com\/IntelliSys","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}