{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T12:12:10Z","timestamp":1768306330242,"version":"3.49.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032093172","type":"print"},{"value":"9783032093189","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,9]],"date-time":"2025-11-09T00:00:00Z","timestamp":1762646400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,9]],"date-time":"2025-11-09T00:00:00Z","timestamp":1762646400000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-09318-9_14","type":"book-chapter","created":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T06:22:27Z","timestamp":1762582947000},"page":"200-214","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Text-JEPA: A Joint Embedding Predictive Architecture for\u00a0the\u00a0Conversion of\u00a0Natural Language into\u00a0First-Order Logic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-4703-2629","authenticated-orcid":false,"given":"Trong","family":"Le","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-8361-4741","authenticated-orcid":false,"given":"Phat","family":"Thai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9209-9155","authenticated-orcid":false,"given":"Sang","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-2282-6021","authenticated-orcid":false,"given":"Minh","family":"Hua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0963-3495","authenticated-orcid":false,"given":"Ngan","family":"Pham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5021-0549","authenticated-orcid":false,"given":"Thang","family":"Bui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0467-6254","authenticated-orcid":false,"given":"Tho","family":"Quan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8587-182X","authenticated-orcid":false,"given":"Tuan","family":"Bui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,9]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","unstructured":"Chen, Y., Gandhi, R., Zhang, Y., Fan, C.: NL2TL: transforming natural languages to temporal logics using large language models. In: Bouamor, H., Pino, J., Bali, K. (eds.) Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pp. 15880\u201315903. Association for Computational Linguistics, Singapore (2023). https:\/\/doi.org\/10.18653\/v1\/2023.emnlp-main.985. https:\/\/aclanthology.org\/2023.emnlp-main.985\/","DOI":"10.18653\/v1\/2023.emnlp-main.985"},{"key":"14_CR2","doi-asserted-by":"publisher","unstructured":"GGupta, P.K., Andreu-Perez, J.: A gentle introduction and survey on computing with words (cww) methodologies. Neurocomputing 500, 921\u2013937 (2022). https:\/\/doi.org\/10.1016\/j.neucom.2022.05.097. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0925231222006828","DOI":"10.1016\/j.neucom.2022.05.097"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Han, S., et al.: Folio: natural language reasoning with first-order logic. In: Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, pp. 22017\u201322031. Association for Computational Linguistics (2024). https:\/\/doi.org\/10.18653\/v1\/2024.emnlp-main.1229. https:\/\/aclanthology.org\/2024.emnlp-main.1229\/","DOI":"10.18653\/v1\/2024.emnlp-main.1229"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Hatzilygeroudis, I., Perikos, I.: A web-based interactive system for learning nl to fol conversion. In: KES IIMSS, pp. 297\u2013307 (2009)","DOI":"10.1007\/978-3-642-02937-0_27"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"He, K., Chen, X., Xie, S., Li, Y., Doll\u00e1r, P., Girshick, R.: Masked autoencoders are scalable vision learners. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 16000\u201316009 (2022)","DOI":"10.1109\/CVPR52688.2022.01553"},{"key":"14_CR6","unstructured":"Karia, R., Bramblett, D.R., Dobhal, D., Srivastava, S.: Autoeval: autonomous evaluation of LLMs for truth maintenance and reasoning tasks. In: The Thirteenth International Conference on Learning Representations (2025). https:\/\/openreview.net\/forum?id=iv1TpRCJeK"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Kimura, D., et al.: Neuro-symbolic reinforcement learning with first-order logic. In: Moens, M.F., Huang, X., Specia, L., Yih, S.W.t. (eds.) Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, pp. 3505\u20133511. Association for Computational Linguistics, Online and Punta Cana (2021). https:\/\/doi.org\/10.18653\/v1\/2021.emnlp-main.283. https:\/\/aclanthology.org\/2021.emnlp-main.283\/","DOI":"10.18653\/v1\/2021.emnlp-main.283"},{"key":"14_CR8","unstructured":"Lalwani, A., Chopra, L., Hahn, C., Trippel, C., Jin, Z., Sachan, M.: Nl2fol: translating natural language to first-order logic for logical fallacy detection. ArXiv arxiv:2405.02318 (2024). https:\/\/api.semanticscholar.org\/CorpusID:269604995"},{"key":"14_CR9","doi-asserted-by":"publisher","unstructured":"Levkovskyi, O., Li, W.: Generating predicate logic expressions from natural language. In: SoutheastCon 2021, pp.\u00a01\u20138 (2021). https:\/\/doi.org\/10.1109\/SoutheastCon45413.2021.9401852","DOI":"10.1109\/SoutheastCon45413.2021.9401852"},{"key":"14_CR10","unstructured":"Lewis, M., et al.: BART: denoising sequence-to-sequence pre-training for natural language generation, translation, and comprehension. CoRR arxiv:1910.13461 (2019)"},{"key":"14_CR11","unstructured":"Lu, X., et al.: Parsing natural language into propositional and first-order logic with dual reinforcement learning. In: Calzolari, N., et al. (eds.) Proceedings of the 29th International Conference on Computational Linguistics. pp. 5419\u20135431. International Committee on Computational Linguistics, Gyeongju (2022). https:\/\/aclanthology.org\/2022.coling-1.481\/"},{"issue":"1","key":"14_CR12","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/BF00396907","volume":"46","author":"V Nov\u00e1k","year":"1987","unstructured":"Nov\u00e1k, V.: First-order fuzzy logic. Stud. Logica. 46(1), 87\u2013109 (1987). https:\/\/doi.org\/10.1007\/BF00396907","journal-title":"Stud. Logica."},{"key":"14_CR13","unstructured":"Nye, M., Tessler, M.H., Tenenbaum, J.B., Lake, B.M.: Improving coherence and consistency in neural sequence models with dual-system, neuro-symbolic reasoning. In: Neural Information Processing Systems (2021). https:\/\/api.semanticscholar.org\/CorpusID:235743241"},{"key":"14_CR14","doi-asserted-by":"publisher","unstructured":"Olausson, T., et al.: LINC: a neurosymbolic approach for logical reasoning by combining language models with first-order logic provers. In: Bouamor, H., Pino, J., Bali, K. (eds.) Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pp. 5153\u20135176. Association for Computational Linguistics, Singapore (2023). https:\/\/doi.org\/10.18653\/v1\/2023.emnlp-main.313. https:\/\/aclanthology.org\/2023.emnlp-main.313\/","DOI":"10.18653\/v1\/2023.emnlp-main.313"},{"key":"14_CR15","doi-asserted-by":"publisher","unstructured":"Pan, L., Albalak, A., Wang, X., Wang, W.: Logic-LM: empowering large language models with symbolic solvers for faithful logical reasoning. In: Bouamor, H., Pino, J., Bali, K. (eds.) Findings of the Association for Computational Linguistics: EMNLP 2023, pp. 3806\u20133824. Association for Computational Linguistics, Singapore (2023). https:\/\/doi.org\/10.18653\/v1\/2023.findings-emnlp.248. https:\/\/aclanthology.org\/2023.findings-emnlp.248\/","DOI":"10.18653\/v1\/2023.findings-emnlp.248"},{"key":"14_CR16","unstructured":"Raffel, C., et al.: Exploring the limits of transfer learning with a unified text-to-text transformer. J. Mach. Learn. Res. 21(140), 1\u201367 (2020). http:\/\/jmlr.org\/papers\/v21\/20-074.html"},{"key":"14_CR17","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Proceedings of the 31st International Conference on Neural Information Processing Systems, NIPS\u201917, pp. 6000\u20136010. Curran Associates Inc., Red Hook (2017)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Wang, Z., Liu, J., Bao, Q., Rong, H., Zhang, J.: Chatlogic: integrating logic programming with large language models for multi-step reasoning. In: Neuro-Symbolic Learning and Reasoning in the Era of Large Language Models (2023). https:\/\/openreview.net\/forum?id=AOqGF7Po7Z","DOI":"10.1109\/IJCNN60899.2024.10650138"},{"key":"14_CR19","doi-asserted-by":"publisher","unstructured":"Yang, Y., Xiong, S., Payani, A., Shareghi, E., Fekri, F.: Harnessing the power of large language models for natural language to first-order logic translation. In: Ku, L.W., Martins, A., Srikumar, V. (eds.) Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics, vol. 1: Long Papers, pp. 6942\u20136959. Association for Computational Linguistics, Bangkok (2024). https:\/\/doi.org\/10.18653\/v1\/2024.acl-long.375. https:\/\/aclanthology.org\/2024.acl-long.375\/","DOI":"10.18653\/v1\/2024.acl-long.375"},{"key":"14_CR20","unstructured":"Ye, X., Chen, Q., Dillig, I., Durrett, G.: Satlm: satisfiability-aided language models using declarative prompting. In: Oh, A., Naumann, T., Globerson, A., Saenko, K., Hardt, M., Levine, S. (eds.) Advances in Neural Information Processing Systems, vol.\u00a036, pp. 45548\u201345580. Curran Associates, Inc. (2023)"},{"key":"14_CR21","doi-asserted-by":"publisher","unstructured":"Yue, J., Bi, X., Chen, Z.: Heterogeneous-branch integration framework: introducing first-order predicate logic in logical reasoning question answering. Neurocomputing 609, 128504 (2024). https:\/\/doi.org\/10.1016\/j.neucom.2024.128504. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S092523122401275X","DOI":"10.1016\/j.neucom.2024.128504"}],"container-title":["Lecture Notes in Computer Science","Computational Collective Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-09318-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T05:02:39Z","timestamp":1768280559000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-09318-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,9]]},"ISBN":["9783032093172","9783032093189"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-09318-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,9]]},"assertion":[{"value":"9 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCCI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Collective Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ho Chi Minh City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vietnam","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccci2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iccci.pwr.edu.pl\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}