{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:05:33Z","timestamp":1743001533971,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031708923"},{"type":"electronic","value":"9783031708930"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-70893-0_16","type":"book-chapter","created":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T11:02:54Z","timestamp":1724929374000},"page":"218-231","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Context-Specific Selection of\u00a0Commonsense Knowledge Using Large Language Models"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Jakobs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Schon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,30]]},"reference":[{"issue":"2","key":"16_CR1","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/S10817-013-9286-5","volume":"52","author":"J Alama","year":"2014","unstructured":"Alama, J., Heskes, T., K\u00fchlwein, D., Tsivtsivadze, E., Urban, J.: Premise selection for mathematics by corpus analysis and kernel methods. J. Autom. Reason. 52(2), 191\u2013213 (2014). https:\/\/doi.org\/10.1007\/S10817-013-9286-5","journal-title":"J. Autom. Reason."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"80","DOI":"10.4018\/jswis.2012100105","volume":"8","author":"J \u00c1lvez","year":"2012","unstructured":"\u00c1lvez, J., Lucio, P., Rigau, G.: Adimen-sumo: reengineering an ontology for first-order reasoning. Int. J. Semant. Web Inf. Syst. 8, 80\u2013116 (2012)","journal-title":"Int. J. Semant. Web Inf. Syst."},{"key":"16_CR3","unstructured":"Cer, D., et al.: Universal sentence encoder for English. In: EMNLP (Demonstration), pp. 169\u2013174. Association for Computational Linguistics (2018)"},{"key":"16_CR4","unstructured":"Devlin, J., Chang, M., Lee, K., Toutanova, K.: BERT: pre-training of deep bidirectional transformers for language understanding. In: NAACL-HLT (1), pp. 4171\u20134186. Association for Computational Linguistics (2019)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-030-29436-6_15","volume-title":"Automated Deduction \u2013 CADE 27","author":"U Furbach","year":"2019","unstructured":"Furbach, U., Kr\u00e4mer, T., Schon, C.: Names are not just sound and smoke: word embeddings for axiom selection. In: Fontaine, P. (ed.) CADE 2019. LNCS (LNAI), vol. 11716, pp. 250\u2013268. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29436-6_15"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-642-22438-6_23","volume-title":"Automated Deduction \u2013 CADE-23","author":"K Hoder","year":"2011","unstructured":"Hoder, K., Voronkov, A.: Sine qua non for large theory reasoning. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS (LNAI), vol. 6803, pp. 299\u2013314. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22438-6_23"},{"key":"16_CR7","unstructured":"Irving, G., Szegedy, C., Alemi, A.A., E\u00e9n, N., Chollet, F., Urban, J.: Deepmath - deep sequence models for premise selection. In: Lee, D.D., Sugiyama, M., von Luxburg, U., Guyon, I., Garnett, R. (eds.) Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, Barcelona, Spain, pp. 2235\u20132243 (2016)"},{"key":"16_CR8","unstructured":"Jakobs, O.: Context-specific selection: using large language models to select commonsense knowledge from knowledge bases. Bachelor\u2019s thesis, Hochschule Trier (2023)"},{"key":"16_CR9","unstructured":"Kiros, R., et al.: Skip-thought vectors. In: Cortes, C., Lawrence, N.D., Lee, D.D., Sugiyama, M., Garnett, R. (eds.) Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, Canada, Montreal, Quebec, pp. 3294\u20133302 (2015)"},{"key":"16_CR10","unstructured":"Liu, Q., Wu, Z., Wang, Z., Sutcliffe, G.: Evaluation of axiom selection techniques. In: PAAR+SC$${^2}$$@IJCAR. CEUR Workshop Proceedings, vol.\u00a02752, pp. 63\u201375. CEUR-WS.org (2020)"},{"issue":"1","key":"16_CR11","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.jal.2007.07.004","volume":"7","author":"J Meng","year":"2009","unstructured":"Meng, J., Paulson, L.C.: Lightweight relevance filtering for machine-generated resolution problems. J. Appl. Logic 7(1), 41\u201357 (2009)","journal-title":"J. Appl. Logic"},{"key":"16_CR12","doi-asserted-by":"publisher","unstructured":"Mikula, M., et al.: Magnushammer: a transformer-based approach to premise selection. CoRR arXiv:abs\/2303.04488 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2303.04488","DOI":"10.48550\/ARXIV.2303.04488"},{"issue":"1","key":"16_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/01690969108406936","volume":"6","author":"GA Miller","year":"1991","unstructured":"Miller, G.A., Charles, W.G.: Contextual correlates of semantic similarity. Lang. Cognit. Process. 6(1), 1\u201328 (1991)","journal-title":"Lang. Cognit. Process."},{"key":"16_CR14","doi-asserted-by":"publisher","unstructured":"Piotrowski, B., Urban, J.: Stateful premise selection by recurrent neural networks. In: Albert, E., Kov\u00e1cs, L. (eds.) LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, 22\u201327 May 2020. EPiC Series in Computing, vol.\u00a073, pp. 409\u2013422. EasyChair (2020). https:\/\/doi.org\/10.29007\/J5HD","DOI":"10.29007\/J5HD"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-030-81097-9_6","volume-title":"Intelligent Computer Mathematics","author":"K Prorokovi\u0107","year":"2021","unstructured":"Prorokovi\u0107, K., Wand, M., Schmidhuber, J.: Improving stateful premise selection with transformers. In: Kamareddine, F., Sacerdoti Coen, C. (eds.) CICM 2021. LNCS (LNAI), vol. 12833, pp. 84\u201389. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81097-9_6"},{"key":"16_CR16","unstructured":"Firth, J.: A synopsis of linguistic theory, 1930-1955. Studies in Linguistic Analysis (1957)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Reimers, N., Gurevych, I.: Sentence-BERT: sentence embeddings using Siamese BERT-networks. In: EMNLP\/IJCNLP (1), pp. 3980\u20133990. Association for Computational Linguistics (2019)","DOI":"10.18653\/v1\/D19-1410"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-642-02959-2_13","volume-title":"Automated Deduction \u2013 CADE-22","author":"A Roederer","year":"2009","unstructured":"Roederer, A., Puzis, Y., Sutcliffe, G.: Divvy: an ATP meta-system based on axiom relevance ordering. In: Schmidt, R.A. (ed.) CADE 2009. LNCS (LNAI), vol. 5663, pp. 157\u2013162. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02959-2_13"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-319-46523-4_12","volume-title":"The Semantic Web \u2013 ISWC 2016","author":"S de Rooij","year":"2016","unstructured":"de Rooij, S., Beek, W., Bloem, P., van Harmelen, F., Schlobach, S.: Are names meaningful? Quantifying social meaning on the semantic web. In: Groth, P., et al. (eds.) ISWC 2016. LNCS, vol. 9981, pp. 184\u2013199. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46523-4_12"},{"key":"16_CR20","doi-asserted-by":"publisher","unstructured":"Schon, C.: Selection strategies for commonsense knowledge (2022). https:\/\/doi.org\/10.48550\/ARXIV.2202.09163","DOI":"10.48550\/ARXIV.2202.09163"},{"key":"16_CR21","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-031-42608-7_14","volume-title":"KI 2023","author":"C Schon","year":"2023","unstructured":"Schon, C.: Associative reasoning for commonsense knowledge. In: Seipel, D., Steen, A. (eds.) KI 2023. LNCS, vol. 14236, pp. 170\u2013183. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-42608-7_14"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1007\/978-3-642-45221-5_49","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"S Schulz","year":"2013","unstructured":"Schulz, S.: System description: E\u00a01.8. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR 2013. LNCS, vol. 8312, pp. 735\u2013743. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45221-5_49"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-540-73595-3_20","volume-title":"Automated Deduction \u2013 CADE-21","author":"G Sutcliffe","year":"2007","unstructured":"Sutcliffe, G., Puzis, Y.: SRASS - a semantic relevance axiom selection system. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 295\u2013310. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73595-3_20"},{"key":"16_CR24","unstructured":"Wu, Y., et al.: Google\u2019s neural machine translation system: bridging the gap between human and machine translation. CoRR arXiv:abs\/1609.08144 (2016)"}],"container-title":["Lecture Notes in Computer Science","KI 2024: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-70893-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T11:06:27Z","timestamp":1724929587000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-70893-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031708923","9783031708930"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-70893-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"30 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"KI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"German Conference on Artificial Intelligence (K\u00fcnstliche Intelligenz)","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"W\u00fcrzburg","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"47","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ki2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.informatik.uni-wuerzburg.de\/ki24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}