The resolution program, able to decide some solvable classes. - Tanel Tammet (Conference on Computer Logic, 1988)

Using Resolution for Deciding Solvable Classes and Building Finite Models. - Tanel Tammet (Baltic Computer Science, 1991)

Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof. - Grigori Mints; Tanel Tammet (J. Autom. Reason., 1991)

Resolution Methods for the Decision Problem - Christian G. Fermüller; Alexander Leitsch; Tanel Tammet; N. K. Zamov (Springer, 1993)

Completeness of Resolution for Definite Answers with Case Analysis. - Tanel Tammet (CSL, 1994)

Proof Sytrategies in Linear Logic. - Tanel Tammet (J. Autom. Reason., 1994)

Using Resolution for Extending KL-ONE-type Languages. - Tanel Tammet (CIKM, 1995)

Completeness of Resolution for Definite Answers. - Tanel Tammet (J. Log. Comput., 1995)

A Resolution Theorem Prover for Intuitonistic Logic. - Tanel Tammet (CADE, 1996)

Resolution, Inverse Method and the Sequent Calculus. - Tanel Tammet (Kurt Gödel Colloquium, 1997)

Gandalf. - Tanel Tammet (J. Autom. Reason., 1997)

Towards Efficient Subsumption. - Tanel Tammet (CADE, 1998)

Optimized Encodings of Fragments of Type Theory in First-Order Logic. - Tanel Tammet; Jan M. Smith (J. Log. Comput., 1998)

Resolution Decision Procedures. - Christian G. Fermüller; Alexander Leitsch; Ullrich Hustadt; Tanel Tammet (Handbook of Automated Reasoning, 2001)

Extending Classical Theorem Proving for the Semantic Web. - Tanel Tammet (PSSS, 2003)

Combining an Inference Engine with Database: A Rule Server. - Tanel Tammet; Vello Kadarpik (RuleML, 2003)

Chain Resolution for the Semantic Web. - Tanel Tammet (IJCAR, 2004)

Using a Rule Language for Capturing Semantics in Web-Based Systems. - Tanel Tammet; Hele-Mai Haav; Vello Kadarpik; Marko Kääramees (DB&IS, 2006)

Preface. - Stephan Schulz 001; Geoff Sutcliffe; Tanel Tammet (Int. J. Artif. Intell. Tools, 2006)

RFID-based Communications for a Self-Organising Robot Swarm. - Tanel Tammet; Jüri Vain; Andres Puusepp; Enar Reilent; Alar Kuusik (SASO, 2008)

Extended Triple Store Structure Used in Recommender System. - Ago Luberg; Tanel Tammet; Priit Järv (DEXA Workshops, 2011)

Smart City: A Rule-based Tourist Recommendation System. - Ago Luberg; Tanel Tammet; Priit Järv (ENTER, 2011)

Context-aware and multilingual information extraction for a tourist recommender system. - Ago Luberg; Priit Järv; Karin Schoefegger; Tanel Tammet (I-KNOW, 2011)

Information Extraction for a Tourist Recommender System. - Ago Luberg; Priit Järv; Tanel Tammet (ENTER, 2012)

Information retrieval and deduplication for tourism recommender sightsplanner. - Ago Luberg; Michael Granitzer; Honghan Wu; Priit Järv; Tanel Tammet (WIMS, 2012)

Ranking domain objects by wisdom of web pages. - Honghan Wu; Ago Luberg; Tanel Tammet (WIMS, 2012)

Sightsmap: Crowd-Sourced Popularity of the World Places. - Tanel Tammet; Ago Luberg; Priit Järv (ENTER, 2013)

A survey on socio-semantic information retrieval. - Karin Schoefegger; Tanel Tammet; Michael Granitzer (Comput. Sci. Rev., 2013)

Data Integration Patterns for Data Warehouse Automation. - Kalle Tomingas; Margus Kliimask; Tanel Tammet (ADBIS (2), 2014)

Automating Component Dependency Analysis for Enterprise Business Intelligence. - Kalle Tomingas; Tanel Tammet; Margus Kliimask; Priit Järv (ICIS, 2014)

Rule-Based Impact Analysis for Enterprise Business Intelligence. - Kalle Tomingas; Tanel Tammet; Margus Kliimask (AIAI (Workshops), 2014)

Discovering Data Lineage from Data Warehouse Procedures. - Kalle Tomingas; Priit Järv; Tanel Tammet (KDIR, 2016)

Computing Data Lineage and Business Semantics for Data Warehouse. - Kalle Tomingas; Priit Järv; Tanel Tammet (IC3K, 2016)

Hierarchical Regions of Interest. - Priit Järv; Tanel Tammet; Marten Tall (MDM, 2018)

GKC: A Reasoning System for Large Knowledge Bases. - Tanel Tammet (CADE, 2019)

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 (DEXA (1), 2020)

Sights, titles and tags: mining a worldwide photo database for sightseeing. - Ago Luberg; Jakob Pindis; Tanel Tammet (WIMS, 2020)

Extending Automated Deduction for Commonsense Reasoning. - Tanel Tammet (CoRR, 2020)

Confidences for Commonsense Reasoning. - Tanel Tammet; Dirk Draheim; Priit Järv (CADE, 2021)

Social, Legal, and Technical Considerations for Machine Learning and Artificial Intelligence Systems in Government. - Richard Dreyling; Eric Blake Jackson; Tanel Tammet; Alena Labanava; Ingrid Pappel (ICEIS (1), 2021)

Combining JSON-LD with First Order Logic. - Tanel Tammet; Geoff Sutcliffe (ICSC, 2021)

On State-Level Architecture of Digital Government Ecosystems: From ICT-Driven to Data-Centric. - Dirk Draheim; Robert Krimmer; Tanel Tammet (Trans. Large Scale Data Knowl. Centered Syst., 2021)

GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description). - Tanel Tammet; Dirk Draheim; Priit Järv (IJCAR, 2022)

Artificial Intelligence Use in e-Government Services: A Systematic Interdisciplinary Literature Review. - Richard Michael Dreyling; Tanel Tammet; Ingrid Pappel (FDSE (CCIS Volume), 2022)

Knowledge Integration for Commonsense Reasoning with Default Logic. - Priit Järv; Tanel Tammet; Martin Verrev; Dirk Draheim (KDIR, 2022)

First Order Logic and Commonsense Reasoning: A Path Less Travelled. - Tanel Tammet; Dirk Draheim; Priit Järv; Martin Verrev (ICLP Workshops, 2022)

An Ultra-Scalable Blockchain Platform for Universal Asset Tokenization: Design and Implementation. - Ahto Buldas; Dirk Draheim; Mike Gault; Risto Laanoja; Takehiko Nagumo; Märt Saarepera; Syed Attique Shah; Joosep Simm; Jamie Steiner; Tanel Tammet; Ahto Truu (IEEE Access, 2022)

An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper). - Tanel Tammet; Priit Järv; Martin Verrev; Dirk Draheim (CADE, 2023)

Digital Transformation Insights from an AI Solution in Search of a Problem. - Richard Michael Dreyling; Tanel Tammet; Ingrid Pappel (FDSE, 2023)

Large-Scale Commonsense Knowledge for Default Logic Reasoning. - Priit Järv; Tanel Tammet; Martin Verrev; Dirk Draheim (SN Comput. Sci., 2023)

Management of National eID Infrastructure as a State-Critical Asset and Public-private Partnership: Learning from the Case of Estonia. - Silvia Lips; Valentyna Tsap; Nitesh Bharosa; Robert Krimmer; Tanel Tammet; Dirk Draheim (Inf. Syst. Frontiers, 2023)

Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper). - Tanel Tammet (LPAR, 2024)

Combining Syntactic and Semantic Information in Knowledge Extraction Pipeline. - Martin Verrev; Tanel Tammet; Priit Järv (LPKM, 2024)

Experiments with LLMs for Converting Language to Logic. - Tanel Tammet; Priit Järv; Martin Verrev; Dirk Draheim (NeSy (2), 2024)

Technology Push in AI-Enabled Services: How to Master Technology Integration in Case of Bürokratt. - Richard Michael Dreyling; Tanel Tammet; Ingrid Pappel (SN Comput. Sci., 2024)

Cognitive Paradigms for Evaluating VLMs on Visual Reasoning Task. - Mohit Vaishnav; Tanel Tammet (CoRR, 2025)

Beyond the Linear Separability Ceiling. - Enrico Vompa; Tanel Tammet; Mohit Vaishnav (CoRR, 2025)