Tanel Tammet

Cited by

	All	Since 2019
Citations	1473	347
h-index	19	10
i10-index	30	12

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 23 28 36 52 59 51 43 52 24 75 53 86 50 54 40 37 31 29 30 57 39 39 33 36 36 48 31 44 56 77 89

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Dirk DraheimFull Professor in Information Society Technologies, Tallinn University of TechnologyVerified email at ttu.ee
Ago LubergTallinn University of TechnologyVerified email at ttu.ee
Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyVerified email at logic.at
Alar KuusikSenior researcher, Thomas Seebeck Institute of Electronics, Tallinn University of TechnologyVerified email at ttu.ee
Ingrid PappelTallinn University of TechnologyVerified email at ttu.ee
Kalle TomingasVerified email at ttu.ee
Richard DreylingEarly Stage Researcher, Tallinn University of TechnologyVerified email at taltech.ee
Jüri VainDept. Computer Science, Tallinn University of TechnologyVerified email at ioc.ee
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Marko KäärameesAssociate Professor of Computer Science, Tallinn University of TechnologyVerified email at ttu.ee
Hele-Mai HaavSenior Researcher, Department of Software Science, Tallinn University of TechnologyVerified email at ioc.ee
Martin VerrevTallinn University of TechnnologyVerified email at taltech.ee
Robert KrimmerDigital Transformation Expert and Entrepreneur, former Professor of e-GovernanceVerified email at krimmer.ee
Granitzer MichaelProfessor Computer Science, University PassauVerified email at uni-passau.de
Geoff SutcliffeDepartment of Computer Science, University of MiamiVerified email at cs.miami.edu
Tuukka RuotsaloLUT University and University of CopenhagenVerified email at lut.fi
Innar LiivAssociate Professor, Tallinn University of TechnologyVerified email at taltech.ee
Honghan WuProfessor of Health Informatics and AI, University of GlasgowVerified email at glasgow.ac.uk
Eric JacksonTallinn University of TechnologyVerified email at taltech.ee
Tõnu Tammelecturer in theoretical informatics, University of TartuVerified email at ut.ee

Tanel Tammet

Professor of Applied Artificial Intelligence, Tallinn University of Technology

Verified email at ttu.ee

Commonsense reasoning automated reasoning data mining crowdsourcing semantics recommender systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Resolution methods for the decision problem C Fermüller, A Leitsch, T Tammet, N Zamov Springer Berlin Heidelberg, 1993	185	1993
Resolution decision procedures CG Fermüller, A Leitsch, U Hustadt, T Tammet Handbook of automated reasoning, 1791-1849, 2001	157	2001
Gandalf T Tammet Journal of Automated Reasoning 18, 199-204, 1997	148	1997
A resolution theorem prover for intuitionistic logic T Tammet International Conference on Automated Deduction, 2-16, 1996	89	1996
Proof strategies in linear logic T Tammet Journal of Automated Reasoning 12, 273-304, 1994	77	1994
Using resolution for deciding solvable classes and building finite models T Tammet Baltic Computer Science Conference, 33-64, 1991	62	1991
Smart city: a rule-based tourist recommendation system A Luberg, T Tammet, P Järv Information and communication technologies in tourism 2011, 51-62, 2011	61	2011
Towards efficient subsumption T Tammet International Conference on Automated Deduction, 427-441, 1998	52	1998
Resolution methods for decision problems and finite-model building T Tammet Department of Computer Sciences, Chalmers University of Technology, 1992	38	1992
An ultra-scalable blockchain platform for universal asset tokenization: Design and implementation A Buldas, D Draheim, M Gault, R Laanoja, T Nagumo, M Saarepera, ... IEEE Access 10, 77284-77322, 2022	37	2022
Sightsmap: crowd-sourced popularity of the world places T Tammet, A Luberg, P Järv Information and Communication Technologies in Tourism 2013: Proceedings of …, 2013	34	2013
Optimized encodings of fragments of type theory in first order logic T Tammet, JM Smith International Workshop on Types for Proofs and Programs, 265-287, 1995	30	1995
GKC: a reasoning system for large knowledge bases T Tammet Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019	27	2019
Personalized context-aware recommendations in SMARTMUSEUM: combining semantics with statistics I Liiv, T Tammet, T Ruotsalo, A Kuusik 2009 Third International Conference on Advances in Semantic Processing, 50-55, 2009	25	2009
Resolution, inverse method and the sequent calculus T Tammet Kurt Gödel Colloquium on Computational Logic and Proof Theory, 65-83, 1997	24	1997
On state-level architecture of digital government ecosystems: From ICT-driven to data-centric D Draheim, R Krimmer, T Tammet Transactions on Large-Scale Data-and Knowledge-Centered Systems XLVIII …, 2021	22	2021
A survey on socio-semantic information retrieval K Schoefegger, T Tammet, M Granitzer Computer Science Review 8, 25-46, 2013	22	2013
The resolution program, able to decide some solvable classes T Tammet International Conference on Computer Logic, 300-312, 1988	21	1988
Finite model building: improvements and comparisons T Tammet CADE-19, Workshop W 4, 2003	20	2003
Completeness of resolution for definite answers T Tammet Journal of Logic and Computation 5 (4), 449-471, 1995	19	1995

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors