| 2026 | CoNLL | Symbolic Grounding Reveals Representational Bottlenecks in Abstract Visual Reasoning. | Mohit Vaishnav, Tanel Tammet |
| 2025 | IIWAS | Integrating Digital Product Passports in E-Commerce: An Architectural Framework for Sustainability and AI-Driven Value. | Martin Tamm, Dirk Draheim, Tanel Tammet, Ingrid Pappel |
| 2024 | LPAR | Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper). | Tanel Tammet |
| 2024 | NeSy | Experiments with LLMs for Converting Language to Logic. | Tanel Tammet, Priit Jrv, Martin Verrev, Dirk Draheim |
| 2023 | CADE | An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper). | Tanel Tammet, Priit Jrv, Martin Verrev, Dirk Draheim |
| 2022 | CADE | GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description). | Tanel Tammet, Dirk Draheim, Priit Jrv |
| 2022 | IC3K | Knowledge Integration for Commonsense Reasoning with Default Logic. | Priit Jrv, Tanel Tammet, Martin Verrev, Dirk Draheim |
| 2022 | ICLP | First Order Logic and Commonsense Reasoning: A Path Less Travelled. | Tanel Tammet, Dirk Draheim, Priit Jrv, Martin Verrev |
| 2021 | CADE | Confidences for Commonsense Reasoning. | Tanel Tammet, Dirk Draheim, Priit Jrv |
| 2020 | DEXA | From Sensors to Dempster-Shafer Theory and Back: The Axiom of Ambiguous Sensor Correctness and Its Applications - Keynote at DEXA'2020 - The 31st International Conference on Database and Expert Systems Applications. | Dirk Draheim, Tanel Tammet |
| 2019 | CADE | GKC: A Reasoning System for Large Knowledge Bases. | Tanel Tammet |
| 2018 | MDM | Hierarchical Regions of Interest. | Priit Jrv, Tanel Tammet, Marten Tall |
| 2016 | IC3K | Discovering Data Lineage from Data Warehouse Procedures. | Kalle Tomingas, Priit Jrv, Tanel Tammet |
| 2016 | IC3K | Computing Data Lineage and Business Semantics for Data Warehouse. | Kalle Tomingas, Priit Jrv, Tanel Tammet |
| 2014 | ADBIS | Data Integration Patterns for Data Warehouse Automation. | Kalle Tomingas, Margus Kliimask, Tanel Tammet |
| 2014 | ICIS | Automating Component Dependency Analysis for Enterprise Business Intelligence. | Kalle Tomingas, Tanel Tammet, Margus Kliimask, Priit Jrv |
| 2013 | ENTER | Sightsmap: Crowd-Sourced Popularity of the World Places. | Tanel Tammet, Ago Luberg, Priit Jrv |
| 2012 | ENTER | Information Extraction for a Tourist Recommender System. | Ago Luberg, Priit Jrv, Tanel Tammet |
| 2011 | ENTER | Smart City: A Rule-based Tourist Recommendation System. | Ago Luberg, Tanel Tammet, Priit Jrv |
| 2004 | CADE | Chain Resolution for the Semantic Web. | Tanel Tammet |
| 1998 | CADE | Towards Efficient Subsumption. | Tanel Tammet |
| 1996 | CADE | A Resolution Theorem Prover for Intuitonistic Logic. | Tanel Tammet |
| 1995 | CIKM | Using Resolution for Extending KL-ONE-type Languages. | Tanel Tammet |
| 1994 | CSL | Completeness of Resolution for Definite Answers with Case Analysis. | Tanel Tammet |