• Combining semantic parsing frameworks for automated knowledge base constructionVerrev, MartinAI^3 2022 : 6th Workshop on Advances in Argumentation in Artificial Intelligence2022 https://ceur-ws.org/Vol-3354/paper1.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85150484275&origin=resultslist&sort=plf-f&src=s&sid=6356880f96040ef48a9472bd2aca24a1&sot=a&sdt=a&s=TITLE-ABS-KEY%28%22combining+semantic%22%29+AND+PUBYEAR+%3D+2022&sl=54&sessionSearchId=6356880f96040ef48a9472bd2aca24a1&relpos=25
• Evaluation of semantic parsing frameworks for automated knowledge base constructionVerrev, MartinIntelligent systems design and applications 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) held December 12-14, 2022 - Volume 12023 / p. 554-563 https://doi.org/10.1007/978-3-031-27440-4_53 https://link.springer.com/book/10.1007/978-3-031-27440-4 https://www.scopus.com/sourceid/21100901469 https://www.scopus.com/record/display.uri?eid=2-s2.0-85163404319&origin=inward&txGid=6a1b4cf414b24207cb640f8c6e380147
• An experimental pipeline for automated reasoning in natural language (short paper)Tammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkAutomated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings2023 / p. 509-521 https://doi.org/10.1007/978-3-031-38499-8_29 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172178824&origin=inward&txGid=e3f85903ec6970d47780852bbabf4aa9 https://www.webofscience.com/wos/woscc/full-record/WOS:001156342400027
• Experiments with LLMs for converting language to logicTammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkNeural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II2024 / p. 305 - 314 https://doi.org/10.1007/978-3-031-71170-1_24 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85204913636&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-031-71170-1_24%29&sessionSearchId=45c919fe8ff54496e2ffa842f2ed2798&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:001329993800024
• First order logic and commonsense reasoning : a path less travelledTammet, Tanel; Draheim, Dirk; Järv, Priit; Verrev, MartinICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 20222022 / art. 182197 https://ceur-ws.org/Vol-3193/short5GDE.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137673991&origin=inward&txGid=60ec579b5a850de7cdd5e269d1981618
• Knowledge integration for commonsense reasoning with default logicJärv, Priit; Tammet, Tanel; Verrev, Martin; Draheim, DirkProceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD 2022, October 24-26, 2022, in Valletta, Malta ; Vol. 1 / p. 148-155 https://doi.org/10.5220/0000165700003335
• Large-scale commonsense knowledge for default logic reasoningJärv, Priit; Tammet, Tanel; Verrev, Martin; Draheim, DirkSN Computer Science2023 / art. 550 https://doi.org/10.1007/s42979-023-01963-2 https://www.scopus.com/sourceid/21101083109 https://www.scopus.com/record/display.uri?eid=2-s2.0-85175113560&origin=resultslist&sort=plf-f&src=s&sid=b809bd4cf0195b89d03fdce880010424&sot=b&sdt=b&s=TITLE%28%22Large-Scale+Commonsense+Knowledge+for+Default+Logic+Reasoning%22%29&sl=111&sessionSearchId=b809bd4cf0195b89d03fdce880010424&relpos=0