Martin Verrev

According to our database, Martin Verrev authored at least 7 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Experiments with LLMs for Converting Language to Logic.

Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim

Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024

2023

Large-Scale Commonsense Knowledge for Default Logic Reasoning.

Priit Järv, Tanel Tammet, Martin Verrev, Dirk Draheim

SN Comput. Sci., September, 2023

An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper).

Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Evaluation of Semantic Parsing Frameworks for Automated Knowledge Base Construction.

Martin Verrev

Proceedings of the Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022, 2022

First Order Logic and Commonsense Reasoning: A Path Less Travelled.

Tanel Tammet, Dirk Draheim, Priit Järv, Martin Verrev

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

Knowledge Integration for Commonsense Reasoning with Default Logic.

Priit Järv, Tanel Tammet, Martin Verrev, Dirk Draheim

Proceedings of the 14th International Joint Conference on Knowledge Discovery, 2022

Combining Semantic Parsing Frameworks for Automated Knowledge Base Construction.

Martin Verrev

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022