Tanel Tammet

Cited by

	All	Since 2019
Citations	1380	263
h-index	18	9
i10-index	27	9

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 23 28 36 52 59 52 44 53 24 74 47 84 50 54 40 37 31 30 29 55 39 38 34 37 35 49 29 43 55 71 15

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Ago LubergTallinn University of TechnologyVerified email at ttu.ee
Dirk DraheimFull Professor in Information Society Technologies, Tallinn 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
Kalle TomingasVerified email at ttu.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
Ingrid PappelTallinn University of TechnologyVerified email at ttu.ee
Hele-Mai HaavSenior Researcher, Department of Software Science, Tallinn University of TechnologyVerified email at ioc.ee
Marko KäärameesAssociate Professor of Computer Science, Tallinn University of TechnologyVerified email at ttu.ee
Granitzer MichaelProfessor Computer Science, University PassauVerified email at uni-passau.de
Richard DreylingEarly Stage Researcher, Tallinn University of TechnologyVerified email at taltech.ee
Robert KrimmerDigital Transformation Expert and Entrepreneur, former Professor of e-GovernanceVerified email at krimmer.ee
Martin VerrevTallinn University of TechnnologyVerified email at taltech.ee
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
Dr Honghan WuAssociate Professor at University College LondonVerified email at ucl.ac.uk
Tõnu Tammelecturer in theoretical informatics, University of TartuVerified email at ut.ee
Rein PrankAssociate Professor, Tartu UniversityVerified 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	182	1993
Resolution decision procedures CG Fermüller, A Leitsch, U Hustadt, T Tammet Handbook of automated reasoning, 1791-1849, 2001	151	2001
Gandalf T Tammet Journal of Automated Reasoning 18, 199-204, 1997	144	1997
A resolution theorem prover for intuitionistic logic T Tammet International Conference on Automated Deduction, 2-16, 1996	87	1996
Proof strategies in linear logic T Tammet Journal of Automated Reasoning 12, 273-304, 1994	76	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	59	2011
Towards efficient subsumption T Tammet International Conference on Automated Deduction, 427-441, 1998	47	1998
Resolution methods for decision problems and finite-model building T Tammet Department of Computer Sciences, Chalmers University of Technology, 1992	38	1992
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	30	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	29	1995
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	26	2022
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
GKC: a reasoning system for large knowledge bases T Tammet Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019	24	2019
Resolution, inverse method and the sequent calculus T Tammet Kurt Gödel Colloquium on Computational Logic and Proof Theory, 65-83, 1997	22	1997
A survey on socio-semantic information retrieval K Schoefegger, T Tammet, M Granitzer Computer Science Review 8, 25-46, 2013	21	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
Data integration patterns for data warehouse automation K Tomingas, M Kliimask, T Tammet New Trends in Database and Information Systems II: Selected papers of the …, 2015	17	2015
RFID-based communications for a self-organising robot swarm T Tammet, J Vain, A Puusepp, E Reilent, A Kuusik 2008 Second IEEE International Conference on Self-Adaptive and Self …, 2008	17	2008

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