Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Tanel Tammet

> Home > Persons

Person information

affiliation: Tallinn University of Technology, Tallinn, Estonia
affiliation (former): Chalmers University of Technology, Gothenburg, Sweden

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/LipsTBKTD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/LipsTBKTD23
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): 2439-2456 (2023)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sncs/JarvTVD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sncs/JarvTVD23
Priit Järv, Tanel Tammet, Martin Verrev, Dirk Draheim:
Large-Scale Commonsense Knowledge for Default Logic Reasoning. SN Comput. Sci. 4(5): 550 (2023)
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/TammetJVD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/TammetJVD23
Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim:
An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper). CADE 2023: 509-521
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/fdse/DreylingTP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdse/DreylingTP23
Richard Michael Dreyling, Tanel Tammet, Ingrid Pappel:
Digital Transformation Insights from an AI Solution in Search of a Problem. FDSE 2023: 341-351
2022
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/BuldasDGLNSSSST22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/BuldasDGLNSSSST22
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: 77284-77322 (2022)
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/TammetDJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/TammetDJ22
Tanel Tammet, Dirk Draheim, Priit Järv:
GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description). IJCAR 2022: 300-309
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/fdse/DreylingTP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdse/DreylingTP22
Richard Michael Dreyling, Tanel Tammet, Ingrid Pappel:
Artificial Intelligence Use in e-Government Services: A Systematic Interdisciplinary Literature Review. FDSE (CCIS Volume) 2022: 547-559
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/JarvTVD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/JarvTVD22
Priit Järv, Tanel Tammet, Martin Verrev, Dirk Draheim:
Knowledge Integration for Commonsense Reasoning with Default Logic. KDIR 2022: 148-155
[c32]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/TammetDJV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/TammetDJV22
Tanel Tammet, Dirk Draheim, Priit Järv, Martin Verrev:
First Order Logic and Commonsense Reasoning: A Path Less Travelled. ICLP Workshops 2022
2021
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tlsdkcs/DraheimKT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tlsdkcs/DraheimKT21
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: 165-195 (2021)
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/TammetDJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/TammetDJ21
Tanel Tammet, Dirk Draheim, Priit Järv:
Confidences for Commonsense Reasoning. CADE 2021: 507-524
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/iceis/DreylingJTLP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/DreylingJTLP21
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: 701-708
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/semco/TammetS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semco/TammetS21
Tanel Tammet, Geoff Sutcliffe:
Combining JSON-LD with First Order Logic. ICSC 2021: 256-261
2020
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/dexa/DraheimT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexa/DraheimT20
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: 3-19
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/wims/LubergPT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wims/LubergPT20
Ago Luberg, Jakob Pindis, Tanel Tammet:
Sights, titles and tags: mining a worldwide photo database for sightseeing. WIMS 2020: 149-158
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-13159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-13159
Tanel Tammet:
Extending Automated Deduction for Commonsense Reasoning. CoRR abs/2003.13159 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Tammet19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Tammet19
Tanel Tammet:
GKC: A Reasoning System for Large Knowledge Bases. CADE 2019: 538-549
2018
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/mdm/JarvTT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mdm/JarvTT18
Priit Järv, Tanel Tammet, Marten Tall:
Hierarchical Regions of Interest. MDM 2018: 86-95
2016
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/TomingasJT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/TomingasJT16
Kalle Tomingas, Priit Järv, Tanel Tammet:
Discovering Data Lineage from Data Warehouse Procedures. KDIR 2016: 101-110
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ic3k/TomingasJT16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ic3k/TomingasJT16a
Kalle Tomingas, Priit Järv, Tanel Tammet:
Computing Data Lineage and Business Semantics for Data Warehouse. IC3K 2016: 101-124
2014
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/adbis/TomingasKT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbis/TomingasKT14
Kalle Tomingas, Margus Kliimask, Tanel Tammet:
Data Integration Patterns for Data Warehouse Automation. ADBIS (2) 2014: 41-55
[c21]
- view
  - electronic edition @ aisnet.org
  - no references & citations available
- export record
  dblp key:
  - conf/icis/TomingasTKJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icis/TomingasTKJ14
Kalle Tomingas, Tanel Tammet, Margus Kliimask, Priit Järv:
Automating Component Dependency Analysis for Enterprise Business Intelligence. ICIS 2014
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip12/TomingasTK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/TomingasTK14
Kalle Tomingas, Tanel Tammet, Margus Kliimask:
Rule-Based Impact Analysis for Enterprise Business Intelligence. AIAI Workshops 2014: 301-309
2013
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/csr/SchoefeggerTG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csr/SchoefeggerTG13
Karin Schoefegger, Tanel Tammet, Michael Granitzer:
A survey on socio-semantic information retrieval. Comput. Sci. Rev. 8: 25-46 (2013)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/enter/TammetLJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enter/TammetLJ13
Tanel Tammet, Ago Luberg, Priit Järv:
Sightsmap: Crowd-Sourced Popularity of the World Places. ENTER 2013: 314-325
2012
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/enter/LubergJT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enter/LubergJT12
Ago Luberg, Priit Järv, Tanel Tammet:
Information Extraction for a Tourist Recommender System. ENTER 2012: 332-343
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/wims/LubergGWJT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wims/LubergGWJT12
Ago Luberg, Michael Granitzer, Honghan Wu, Priit Järv, Tanel Tammet:
Information retrieval and deduplication for tourism recommender sightsplanner. WIMS 2012: 50:1-50:11
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/wims/WuLT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wims/WuLT12
Honghan Wu, Ago Luberg, Tanel Tammet:
Ranking domain objects by wisdom of web pages. WIMS 2012: 67:1-67:4
2011
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/LubergTJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/LubergTJ11
Ago Luberg, Tanel Tammet, Priit Järv:
Extended Triple Store Structure Used in Recommender System. DEXA Workshops 2011: 539-543
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/enter/LubergTJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enter/LubergTJ11
Ago Luberg, Tanel Tammet, Priit Järv:
Smart City: A Rule-based Tourist Recommendation System. ENTER 2011: 51-62
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iknow/LubergJST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iknow/LubergJST11
Ago Luberg, Priit Järv, Karin Schoefegger, Tanel Tammet:
Context-aware and multilingual information extraction for a tourist recommender system. I-KNOW 2011: 13

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/saso/TammetVPRK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saso/TammetVPRK08
Tanel Tammet, Jüri Vain, Andres Puusepp, Enar Reilent, Alar Kuusik:
RFID-based Communications for a Self-Organising Robot Swarm. SASO 2008: 45-54
2006
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/SchulzST06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/SchulzST06
Stephan Schulz, Geoff Sutcliffe, Tanel Tammet:
Preface. Int. J. Artif. Intell. Tools 15(1): 1-2 (2006)
[c11]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/balt/TammetHKK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/balt/TammetHKK06
Tanel Tammet, Hele-Mai Haav, Vello Kadarpik, Marko Kääramees:
Using a Rule Language for Capturing Semantics in Web-Based Systems. DB&IS 2006: 249-259
2004
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Tammet04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Tammet04
Tanel Tammet:
Chain Resolution for the Semantic Web. IJCAR 2004: 307-320
2003
[c9]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/psss/Tammet03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psss/Tammet03
Tanel Tammet:
Extending Classical Theorem Proving for the Semantic Web. PSSS 2003
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/TammetK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/TammetK03
Tanel Tammet, Vello Kadarpik:
Combining an Inference Engine with Database: A Rule Server. RuleML 2003: 136-149
2001
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/el/RV01/FermullerLHT01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/el/RV01/FermullerLHT01
Christian G. Fermüller, Alexander Leitsch, Ullrich Hustadt, Tanel Tammet:
Resolution Decision Procedures. Handbook of Automated Reasoning 2001: 1791-1849

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/TammetS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/TammetS98
Tanel Tammet, Jan M. Smith:
Optimized Encodings of Fragments of Type Theory in First-Order Logic. J. Log. Comput. 8(6): 713-744 (1998)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Tammet98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Tammet98
Tanel Tammet:
Towards Efficient Subsumption. CADE 1998: 427-441
1997
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Tammet97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Tammet97
Tanel Tammet:
Gandalf. J. Autom. Reason. 18(2): 199-204 (1997)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/kgc/Tammet97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kgc/Tammet97
Tanel Tammet:
Resolution, Inverse Method and the Sequent Calculus. Kurt Gödel Colloquium 1997: 65-83
1996
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/Tammet96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Tammet96
Tanel Tammet:
A Resolution Theorem Prover for Intuitonistic Logic. CADE 1996: 2-16
1995
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Tammet95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Tammet95
Tanel Tammet:
Completeness of Resolution for Definite Answers. J. Log. Comput. 5(4): 449-471 (1995)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cikm/Tammet95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cikm/Tammet95
Tanel Tammet:
Using Resolution for Extending KL-ONE-type Languages. CIKM 1995: 326-332
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/types/TammetS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/TammetS95
Tanel Tammet, Jan M. Smith:
Optimized Encodings of Fragments of Type Theory in First Order Logic. TYPES 1995: 265-287
1994
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Tammet94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Tammet94
Tanel Tammet:
Proof Sytrategies in Linear Logic. J. Autom. Reason. 12(3): 273-304 (1994)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/Tammet94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/Tammet94
Tanel Tammet:
Completeness of Resolution for Definite Answers with Case Analysis. CSL 1994: 309-323
1993
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/FermullerLTZ93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/FermullerLTZ93
Christian G. Fermüller, Alexander Leitsch, Tanel Tammet, N. K. Zamov:
Resolution Methods for the Decision Problem. Lecture Notes in Computer Science 679, Springer 1993, ISBN 3-540-56732-1
1991
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/MintsT91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/MintsT91
Grigori Mints, Tanel Tammet:
Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof. J. Autom. Reason. 7(4): 587-596 (1991)
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/balt/Tammet91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/balt/Tammet91
Tanel Tammet:
Using Resolution for Deciding Solvable Classes and Building Finite Models. Baltic Computer Science 1991: 33-64

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/colog/Tammet88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/colog/Tammet88
Tanel Tammet:
The resolution program, able to decide some solvable classes. Conference on Computer Logic 1988: 300-312

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.