{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,21]],"date-time":"2024-02-21T00:13:05Z","timestamp":1708474385015},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,12,12]],"date-time":"2023-12-12T00:00:00Z","timestamp":1702339200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,12]],"date-time":"2023-12-12T00:00:00Z","timestamp":1702339200000},"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":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2024,3]]},"DOI":"10.1007\/s10849-023-09408-y","type":"journal-article","created":{"date-parts":[[2023,12,12]],"date-time":"2023-12-12T15:02:20Z","timestamp":1702393340000},"page":"1-7","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA"],"prefix":"10.1007","volume":"33","author":[{"given":"Aikaterini-Lida","family":"Kalouli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lasha","family":"Abzianidze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stergios","family":"Chatzikyriakidis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,12,12]]},"reference":[{"key":"9408_CR1","unstructured":"Abzianidze, L. (2020). Learning as abduction: Trainable natural logic theorem prover for natural language inference. In Proceedings of the 9th joint conference on lexical and computational semantics (pp. 20\u201331). Association for Computational Linguistics, Barcelona, Spain"},{"issue":"4","key":"9408_CR2","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1162\/COLI_a_00266","volume":"42","author":"I Beltagy","year":"2016","unstructured":"Beltagy, I., Roller, S., Cheng, P., Erk, K., & Mooney, R. J. (2016). Representing meaning with a combination of logical and distributional models. Computational Linguistics, 42(4), 763\u2013808.","journal-title":"Computational Linguistics"},{"key":"9408_CR3","doi-asserted-by":"crossref","unstructured":"Bender, E. M., Gebru, T., McMillan-Major, A., & Shmitchell, S. (2021). On the dangers of stochastic parrots: Can language models be too big? In Proceedings of the 2021 ACM conference on fairness, accountability, and transparency, FAccT \u201921 (pp. 610\u2013623). Association for Computing Machinery, New York, NY, USA","DOI":"10.1145\/3442188.3445922"},{"key":"9408_CR4","unstructured":"Bernardy, J.-P., & Chatzikyriakidis, S. (2017). A type-theoretical system for the FraCaS test suite: Grammatical framework meets Coq. In Proceedings of the 12th international conference on computational semantics (IWCS)\u2013long papers, Laboratoire d\u2019Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM), Montpellier, France."},{"key":"9408_CR5","doi-asserted-by":"crossref","unstructured":"Bernardy, J.-P., & Chatzikyriakidis, S. (2019). What kind of natural language inference are NLP systems learning: Is this enough? In ICAART (2) (pp. 919\u2013931).","DOI":"10.5220\/0007683509190931"},{"key":"9408_CR6","doi-asserted-by":"crossref","unstructured":"Bjerva, J., Bos, J., van der Goot, R., & Nissim, M. (2014). The meaning factory: Formal semantics for recognizing textual entailment and determining semantic similarity. In Proceedings of the 8th international workshop on semantic evaluation (SemEval 2014), (pp. 642\u2013646). Association for Computational Linguistics, Dublin, Ireland.","DOI":"10.3115\/v1\/S14-2114"},{"key":"9408_CR7","doi-asserted-by":"crossref","unstructured":"Bowman, S. R., Potts, C., & Manning, C. D. (2015). Recursive neural networks can learn logical semantics. In Proceedings of the 3rd workshop on continuous vector space models and their compositionality (pp. 12\u201321). Association for Computational Linguistics, Beijing, China.","DOI":"10.18653\/v1\/W15-4002"},{"key":"9408_CR8","doi-asserted-by":"publisher","first-page":"7","DOI":"10.3233\/IA-190036","volume":"14","author":"R Calegari","year":"2020","unstructured":"Calegari, R., Ciatto, G., & Omicini, A. (2020). On the integration of symbolic and sub-symbolic techniques for XAI: A survey. Intelligenza Artificiale, 14, 7\u201332.","journal-title":"Intelligenza Artificiale"},{"key":"9408_CR9","doi-asserted-by":"crossref","unstructured":"Cambria, E., Poria, S., Hazarika, D., & Kwok, K. (2018). SenticNet 5: Discovering conceptual primitives for sentiment analysis by means of context embeddings. In AAAI.","DOI":"10.1609\/aaai.v32i1.11559"},{"key":"9408_CR10","doi-asserted-by":"crossref","unstructured":"Cambria, E., Li, Y., Xing, F. Z., Poria, S., & Kwok, K. (2020). SenticNet 6: Ensemble application of symbolic and subsymbolic AI for sentiment analysis. In Proceedings of the 29th ACM international conference on information & knowledge management, CIKM \u201920 (pp. 105\u2013114). Association for Computing Machinery, New York, NY, USA.","DOI":"10.1145\/3340531.3412003"},{"key":"9408_CR11","unstructured":"Chatzikyriakidis, S., & Bernardy, J. -P. (2019). A wide-coverage symbolic natural language inference system. In Proceedings of the 22nd nordic conference on computational linguistics (pp. 298\u2013303). Link\u00f6ping University Electronic Press, Turku, Finland."},{"key":"9408_CR12","doi-asserted-by":"crossref","unstructured":"Chen, Q., Zhu, X., Ling, Z. -H., Inkpen, D., & Wei, S. (2018). Neural natural language inference models enhanced with external knowledge. In Proceedings of the 56th annual meeting of the association for computational linguistics (vol. 1, pp. 2406\u20132417). Association for Computational Linguistics, Melbourne, Australia.","DOI":"10.18653\/v1\/P18-1224"},{"key":"9408_CR13","unstructured":"Dasgupta, I., Guo, D., Stuhlm\u00fcller, A., Gershman, S. J., & Goodman, N. D. (2018). Evaluating compositionality in sentence embeddings. CoRR arXiv:1802.04302"},{"key":"9408_CR14","doi-asserted-by":"publisher","first-page":"6326","DOI":"10.1007\/s10489-020-02165-6","volume":"51","author":"M Ebrahimi","year":"2021","unstructured":"Ebrahimi, M., Eberhart, A., Bianchi, F., & Hitzler, P. (2021). Towards bridging the neuro-symbolic gap: Deep deductive reasoners. Applied Intelligence, 51, 6326\u20136348.","journal-title":"Applied Intelligence"},{"key":"9408_CR15","doi-asserted-by":"crossref","unstructured":"Eshghi, A., Shalyminov, I., & Lemon, O. (2017). Bootstrapping incremental dialogue systems from minimal data: The generalisation power of dialogue grammars. In Proceedings of the 2017 conference on empirical methods in natural language processing (pp. 2220\u20132230). Association for Computational Linguistics, Copenhagen, Denmark.","DOI":"10.18653\/v1\/D17-1236"},{"key":"9408_CR16","doi-asserted-by":"crossref","unstructured":"Glockner, M., Shwartz, V., & Goldberg, Y. (2018). Breaking NLI systems with sentences that require simple lexical inferences. In Proceedings of the 56th annual meeting of the association for computational linguistics (vol. 2, pp. 650\u2013655). Association for Computational Linguistics.","DOI":"10.18653\/v1\/P18-2103"},{"key":"9408_CR17","doi-asserted-by":"crossref","unstructured":"Gururangan, S., Swayamdipta, S., Levy, O., Schwartz, R., Bowman, S., & Smith, N. A. (2018). Annotation artifacts in natural language inference data. In Proceedings of the 2018 conference of the North American chapter of the association for computational linguistics: Human language technologies (vol. 2, pp. 107\u2013112). Association for Computational Linguistics.","DOI":"10.18653\/v1\/N18-2017"},{"key":"9408_CR18","doi-asserted-by":"publisher","first-page":"152368","DOI":"10.1109\/ACCESS.2019.2948081","volume":"7","author":"H Honda","year":"2019","unstructured":"Honda, H., & Hagiwara, M. (2019). Question answering systems with deep learning-based symbolic processing. IEEE Access, 7, 152368\u2013152378.","journal-title":"IEEE Access"},{"key":"9408_CR19","doi-asserted-by":"crossref","unstructured":"Hu, H., Chen, Q., & Moss, L. (2019). Natural language inference with monotonicity. In Proceedings of the 13th international conference on computational semantics\u2013 short papers (pp. 8\u201315). Association for Computational Linguistics, Gothenburg, Sweden.","DOI":"10.18653\/v1\/W19-0502"},{"key":"9408_CR20","doi-asserted-by":"crossref","unstructured":"Hu, Z., Ma, X., Liu, Z., Hovy, E., & Xing, E. (2017). Harnessing deep neural networks with logic rules. In Proceedings of the 54th annual meeting of the association for computational linguistics (vol. 1, pp. 2410\u20132420). Association for Computational Linguistics, Berlin, Germany.","DOI":"10.18653\/v1\/P16-1228"},{"key":"9408_CR21","unstructured":"Kalatzis, D., Eshghi, A., & Lemon, O. (2016). Bootstrapping incremental dialogue systems: Using linguistic knowledge to learn from minimal data. In Proceedings of the NIPS 2016 workshop on learning methods for dialogue."},{"key":"9408_CR22","doi-asserted-by":"crossref","unstructured":"Kalouli, A. -L., Crouch, R., & de Paiva, V. (2020). Hy-NLI: A hybrid system for natural language inference. In Proceedings of the 28th international conference on computational linguistics (pp. 5235\u20135249). International Committee on Computational Linguistics, Barcelona, Spain (Online).","DOI":"10.18653\/v1\/2020.coling-main.459"},{"key":"9408_CR23","doi-asserted-by":"crossref","unstructured":"Kalouli, A. -L., Crouch, R., & dePaiva, V. (2019). GKR: Bridging the gap between symbolic\/structural and distributional meaning representations. In Proceedings of the first international workshop on designing meaning representations (pp. 44\u201355), Association for Computational Linguistics, Florence, Italy.","DOI":"10.18653\/v1\/W19-3305"},{"key":"9408_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1162\/coli_a_00465","volume":"49","author":"A-L Kalouli","year":"2023","unstructured":"Kalouli, A.-L., Hu, H., Webb, A. F., Moss, L. S., & de Paiva, V. (2023). Curing the SICK and other NLI maladies. Computational Linguistics, 49, 1\u201345.","journal-title":"Computational Linguistics"},{"key":"9408_CR25","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1162\/tacl_a_00503","volume":"10","author":"A Krishna","year":"2022","unstructured":"Krishna, A., Riedel, S., & Vlachos, A. (2022). ProoFVer: Natural logic theorem proving for fact verification. Transactions of the Association for Computational Linguistics, 10, 1013\u20131030.","journal-title":"Transactions of the Association for Computational Linguistics"},{"key":"9408_CR26","doi-asserted-by":"crossref","unstructured":"Levy, O., & Goldberg, Y. (2014). Dependency-based word embeddings. In Proceedings of the 52nd annual meeting of the association for computational linguistics (vol. 2, pp. 302\u2013308). Association for Computational Linguistics, Baltimore, Maryland.","DOI":"10.3115\/v1\/P14-2050"},{"key":"9408_CR27","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1162\/tacl_a_00219","volume":"1","author":"M Lewis","year":"2013","unstructured":"Lewis, M., & Steedman, M. (2013). Combined distributional and logical semantics. Transactions of the Association for Computational Linguistics, 1, 179\u2013192.","journal-title":"Transactions of the Association for Computational Linguistics"},{"key":"9408_CR28","doi-asserted-by":"crossref","unstructured":"Liang, C., Berant, J., Le, Q., Forbus, K. D., & Lao, N. (2017). Neural symbolic machines: Learning semantic parsers on freebase with weak supervision. In Proceedings of the 55th annual meeting of the association for computational linguistics (vol. 1, pp. 23\u201333). Association for Computational Linguistics, Vancouver, Canada.","DOI":"10.18653\/v1\/P17-1003"},{"key":"9408_CR29","doi-asserted-by":"crossref","unstructured":"Liu, X., He, P., Chen, W., & Gao, J. (2019). Multi-task deep neural networks for natural language understanding. In Proceedings of the 57th annual meeting of the association for computational linguistics (pp. 4487\u20134496). Association for Computational Linguistics, Florence, Italy.","DOI":"10.18653\/v1\/P19-1441"},{"key":"9408_CR30","doi-asserted-by":"crossref","unstructured":"May, J. (2016). SemEval-2016 task 8: Meaning representation parsing. In Proceedings of the 10th international workshop on semantic evaluation (SemEval-2016) (pp. 1063\u20131073). Association for Computational Linguistics, San Diego, California.","DOI":"10.18653\/v1\/S16-1166"},{"key":"9408_CR31","doi-asserted-by":"crossref","unstructured":"McCoy, T., Pavlick, E., & Linzen, T. (2019). Right for the wrong reasons: Diagnosing syntactic heuristics in natural language inference. In Proceedings of the 57th annual meeting of the association for computational linguistics (pp. 3428\u20133448). Association for Computational Linguistics, Florence, Italy.","DOI":"10.18653\/v1\/P19-1334"},{"key":"9408_CR32","unstructured":"Naik, A., Ravichander, A., Sadeh, N., Rose, C., & Neubig, G. (2018). Stress test evaluation for natural language inference. In Proceedings of the 27th international conference on computational linguistics (pp. 2340\u20132353). Association for Computational Linguistics, Santa Fe, New Mexico, USA."},{"key":"9408_CR33","doi-asserted-by":"crossref","unstructured":"Nie, Y., Wang, Y., & Bansal, M. (2018). Analyzing compositionality-sensitivity of NLI models. CoRR arXiv:1811.07033","DOI":"10.1609\/aaai.v33i01.33016867"},{"key":"9408_CR34","doi-asserted-by":"crossref","unstructured":"Oepen, S., Abend, O., Abzianidze, L., Bos, J., Hajic, J., Hershcovich, D., Li, B., O\u2019Gorman, T., Xue, N., & Zeman, D. (2020). MRP 2020: The 2nd shared task on cross-framework and cross-lingual meaning representation parsing. In Proceedings of the CoNLL 2020 shared task: Cross-framework meaning representation parsing (pp. 1\u201322). Association for Computational Linguistics, Online.","DOI":"10.18653\/v1\/2020.conll-shared.1"},{"issue":"2","key":"9408_CR35","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1162\/coli.2007.33.2.161","volume":"33","author":"S Pad\u00f3","year":"2007","unstructured":"Pad\u00f3, S., & Lapata, M. (2007). Dependency-based construction of semantic space models. Computational Linguistics, 33(2), 161\u2013199.","journal-title":"Computational Linguistics"},{"key":"9408_CR36","unstructured":"Pilault, J., Elhattami, A., & Pal, C. (2020). Conditionally adaptive multi-task learning: Improving transfer learning in NLP using fewer parameter & less data."},{"key":"9408_CR37","doi-asserted-by":"crossref","unstructured":"Poliak, A., Naradowsky, J., Haldar, A., Rudinger, R. & Van Durme, B. (2018). Hypothesis only baselines in natural language inference. In Proceedings of the 7th joint conference on lexical and computational semantics (pp. 180\u2013191). Association for Computational Linguistics, New Orleans, Louisiana.","DOI":"10.18653\/v1\/S18-2023"},{"key":"9408_CR38","doi-asserted-by":"crossref","unstructured":"Richardson, K., Hu, H., Moss, L. S., & Sabharwal, A. (2020). Probing natural language inference models through semantic fragments. In The 34th AAAI conference on artificial intelligence, AAAI 2020, the 32nd innovative applications of artificial intelligence conference, IAAI 2020, the 10th AAAI symposium on educational advances in artificial intelligence, EAAI 2020 (pp. 8713\u20138721). AAAI Press, New York, NY, USA.","DOI":"10.1609\/aaai.v34i05.6397"},{"key":"9408_CR39","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1162\/tacl_a_00241","volume":"6","author":"R van Noord","year":"2018","unstructured":"van Noord, R., Abzianidze, L., Toral, A., & Bos, J. (2018). Exploring neural methods for parsing discourse representation structures. Transactions of the Association for Computational Linguistics, 6, 619\u2013633.","journal-title":"Transactions of the Association for Computational Linguistics"},{"key":"9408_CR40","doi-asserted-by":"crossref","unstructured":"Wu, Z., Song, Y., Huang, S., Tian, Y., & Xia, F. (2019). WTMED at MEDIQA 2019: A hybrid approach to biomedical natural language inference. In Proceedings of the 18th BioNLP workshop and shared task (pp. 415\u2013426). Association for Computational Linguistics, Florence, Italy.","DOI":"10.18653\/v1\/W19-5044"},{"key":"9408_CR41","doi-asserted-by":"crossref","unstructured":"Yanaka, H., Mineshima, K., Bekki, D., & Inui, K. (2020). Do neural models learn systematicity of monotonicity inference in natural language? In Proceedings of the 58th annual meeting of the association for computational linguistics (pp. 6105\u20136117). Association for Computational Linguistics, Online.","DOI":"10.18653\/v1\/2020.acl-main.543"},{"key":"9408_CR42","doi-asserted-by":"crossref","unstructured":"Yanaka, H., Mineshima, K., Mart\u00ednez-G\u00f3mez, P., & Bekki, D. (2018). Acquisition of phrase correspondences using natural deduction proofs. In Proceedings of the 2018 conference of the North American chapter of the association for computational linguistics: human language technologies (vol. 1, pp. 756\u2013766). Association for Computational Linguistics, New Orleans, Louisiana.","DOI":"10.18653\/v1\/N18-1069"},{"key":"9408_CR43","volume-title":"Advances in neural information processing systems","author":"K Yi","year":"2018","unstructured":"Yi, K., Wu, J., Gan, C., Torralba, A., Kohli, P., & Tenenbaum, J. (2018). Neural-symbolic VQA: Disentangling reasoning from vision and language understanding. In S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, & R. Garnett (Eds.), Advances in neural information processing systems.  (Vol. 31). Curran Associates Inc."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-023-09408-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-023-09408-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-023-09408-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,20]],"date-time":"2024-02-20T08:11:20Z","timestamp":1708416680000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-023-09408-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,12]]},"references-count":43,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3]]}},"alternative-id":["9408"],"URL":"https:\/\/doi.org\/10.1007\/s10849-023-09408-y","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,12]]},"assertion":[{"value":"12 December 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}