• 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
• Extending automated deduction for commonsense reasoningTammet, TanelarXiv.org2020 / p. 1-19 https://arxiv.org/pdf/2003.13159.pdf https://arxiv.org/abs/2003.13159
• 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