• 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