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

Books and Theses

see FAQ

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

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

Journal Articles

see FAQ

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

2023
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  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)
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)
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)
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)
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)
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)
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)
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)
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)
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)

Conference and Workshop Papers

see FAQ

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

2024
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Tammet24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Tammet24
Tanel Tammet:
Waste Reduction: Experiments in Sharing Clauses between Runs of a Portfolio of Strategies (Experimental Paper). LPAR 2024: 106-115
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
[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
[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
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
[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
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
[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
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
[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
[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
[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
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

Parts in Books or Collections

see FAQ

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

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
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

Informal and Other Publications

see FAQ

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

2020
[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)

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.