Tanel Tammet

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 22

Top Topics

Commonsense Reasoning

Business Intelligence

Top Venues

SN Comput. Sci.

Publications

Richard Michael Dreyling, Tanel Tammet, Ingrid Pappel
Technology Push in AI-Enabled Services: How to Master Technology Integration in Case of Bürokratt. SN Comput. Sci. 5 (6) (2024)
Tanel Tammet
Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper). LPAR (2024)
Silvia Lips, Valentyna Tsap, Nitesh Bharosa, Robert Krimmer, Tanel Tammet, Dirk Draheim
Management of National eID Infrastructure as a State-Critical Asset and Public-private Partnership: Learning from the Case of Estonia. Inf. Syst. Frontiers 25 (6) (2023)
Richard Michael Dreyling, Tanel Tammet, Ingrid Pappel
Digital Transformation Insights from an AI Solution in Search of a Problem. FDSE (2023)
Priit Järv, Tanel Tammet, Martin Verrev, Dirk Draheim
Large-Scale Commonsense Knowledge for Default Logic Reasoning. SN Comput. Sci. 4 (5) (2023)
Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim
An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper). CADE (2023)
Richard Michael Dreyling, Tanel Tammet, Ingrid Pappel
Artificial Intelligence Use in e-Government Services: A Systematic Interdisciplinary Literature Review. FDSE (CCIS Volume) (2022)
Ahto Buldas, Dirk Draheim, Mike Gault, Risto Laanoja, Takehiko Nagumo, Märt Saarepera, Syed Attique Shah, Joosep Simm, Jamie Steiner, Tanel Tammet, Ahto Truu
An Ultra-Scalable Blockchain Platform for Universal Asset Tokenization: Design and Implementation. IEEE Access 10 (2022)
Priit Järv, Tanel Tammet, Martin Verrev, Dirk Draheim
Knowledge Integration for Commonsense Reasoning with Default Logic. KDIR (2022)
Tanel Tammet, Dirk Draheim, Priit Järv, Martin Verrev
First Order Logic and Commonsense Reasoning: A Path Less Travelled. ICLP Workshops (2022)
Tanel Tammet, Dirk Draheim, Priit Järv
GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description). IJCAR (2022)
Dirk Draheim, Robert Krimmer, Tanel Tammet
On State-Level Architecture of Digital Government Ecosystems: From ICT-Driven to Data-Centric. Trans. Large Scale Data Knowl. Centered Syst. 48 (2021)
Tanel Tammet, Dirk Draheim, Priit Järv
Confidences for Commonsense Reasoning. CADE (2021)
Tanel Tammet, Geoff Sutcliffe
Combining JSON-LD with First Order Logic. ICSC (2021)
Richard Dreyling, Eric Blake Jackson, Tanel Tammet, Alena Labanava, Ingrid Pappel
Social, Legal, and Technical Considerations for Machine Learning and Artificial Intelligence Systems in Government. ICEIS (1) (2021)
Ago Luberg, Jakob Pindis, Tanel Tammet
Sights, titles and tags: mining a worldwide photo database for sightseeing. WIMS (2020)
Dirk Draheim, Tanel Tammet
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. DEXA (1) (2020)
Tanel Tammet
Extending Automated Deduction for Commonsense Reasoning. CoRR (2020)
Tanel Tammet
GKC: A Reasoning System for Large Knowledge Bases. CADE (2019)
Priit Järv, Tanel Tammet, Marten Tall
Hierarchical Regions of Interest. MDM (2018)
Kalle Tomingas, Priit Järv, Tanel Tammet
Computing Data Lineage and Business Semantics for Data Warehouse. IC3K (2016)
Kalle Tomingas, Priit Järv, Tanel Tammet
Discovering Data Lineage from Data Warehouse Procedures. KDIR (2016)
Kalle Tomingas, Tanel Tammet, Margus Kliimask, Priit Järv
Automating Component Dependency Analysis for Enterprise Business Intelligence. ICIS (2014)
Kalle Tomingas, Margus Kliimask, Tanel Tammet
Data Integration Patterns for Data Warehouse Automation. ADBIS (2) (2014)
Kalle Tomingas, Tanel Tammet, Margus Kliimask
Rule-Based Impact Analysis for Enterprise Business Intelligence. AIAI Workshops (2014)
Tanel Tammet, Ago Luberg, Priit Järv
Sightsmap: Crowd-Sourced Popularity of the World Places. ENTER (2013)
Karin Schoefegger, Tanel Tammet, Michael Granitzer
A survey on socio-semantic information retrieval. Comput. Sci. Rev. 8 (2013)
Honghan Wu, Ago Luberg, Tanel Tammet
. WIMS (2012)
Ago Luberg, Priit Järv, Tanel Tammet
Information Extraction for a Tourist Recommender System. ENTER (2012)
Ago Luberg, Michael Granitzer, Honghan Wu, Priit Järv, Tanel Tammet
Information retrieval and deduplication for tourism recommender sightsplanner. WIMS (2012)
Ago Luberg, Priit Järv, Karin Schoefegger, Tanel Tammet
Context-aware and multilingual information extraction for a tourist recommender system. I-KNOW (2011)
Ago Luberg, Tanel Tammet, Priit Järv
Extended Triple Store Structure Used in Recommender System. DEXA Workshops (2011)
Ago Luberg, Tanel Tammet, Priit Järv
Smart City: A Rule-based Tourist Recommendation System. ENTER (2011)
Tanel Tammet, Jüri Vain, Andres Puusepp, Enar Reilent, Alar Kuusik
RFID-based Communications for a Self-Organising Robot Swarm. SASO (2008)
Stephan Schulz, Geoff Sutcliffe, Tanel Tammet
Preface. Int. J. Artif. Intell. Tools 15 (1) (2006)
Tanel Tammet, Hele-Mai Haav, Vello Kadarpik, Marko Kääramees
Using a Rule Language for Capturing Semantics in Web-Based Systems. DB&IS (2006)
Tanel Tammet
Chain Resolution for the Semantic Web. IJCAR (2004)
Tanel Tammet
Extending Classical Theorem Proving for the Semantic Web. PSSS (2003)
Tanel Tammet, Vello Kadarpik
Combining an Inference Engine with Database: A Rule Server. RuleML (2003)
Tanel Tammet, Jan M. Smith
Optimized Encodings of Fragments of Type Theory in First-Order Logic. J. Log. Comput. 8 (6) (1998)
Tanel Tammet
Towards Efficient Subsumption. CADE (1998)
Tanel Tammet
Resolution, Inverse Method and the Sequent Calculus. Kurt Gödel Colloquium (1997)
Tanel Tammet
Gandalf. J. Autom. Reason. 18 (2) (1997)
Tanel Tammet
A Resolution Theorem Prover for Intuitonistic Logic. CADE (1996)
Tanel Tammet
Using Resolution for Extending KL-ONE-type Languages. CIKM (1995)
Tanel Tammet
Completeness of Resolution for Definite Answers. J. Log. Comput. 5 (4) (1995)
Tanel Tammet, Jan M. Smith
Optimized Encodings of Fragments of Type Theory in First Order Logic. TYPES (1995)
Tanel Tammet
Proof Sytrategies in Linear Logic. J. Autom. Reason. 12 (3) (1994)
Tanel Tammet
Completeness of Resolution for Definite Answers with Case Analysis. CSL (1994)
Grigori Mints, Tanel Tammet
Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof. J. Autom. Reason. 7 (4) (1991)
Tanel Tammet
The resolution program, able to decide some solvable classes. Conference on Computer Logic (1988)