Tanel Tammet

Citado por

	Total	Desde 2019
Citas	1386	268
Índice h	18	9
Índice i10	27	9

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

Acceso público

Ver todo

1 artículo

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ago LubergTallinn University of TechnologyDirección de correo verificada de ttu.ee
Dirk DraheimFull Professor in Information Society Technologies, Tallinn University of TechnologyDirección de correo verificada de ttu.ee
Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyDirección de correo verificada de logic.at
Alar KuusikSenior researcher, Thomas Seebeck Institute of Electronics, Tallinn University of TechnologyDirección de correo verificada de ttu.ee
Kalle TomingasDirección de correo verificada de ttu.ee
Jüri VainDept. Computer Science, Tallinn University of TechnologyDirección de correo verificada de ioc.ee
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
Ingrid PappelTallinn University of TechnologyDirección de correo verificada de ttu.ee
Hele-Mai HaavSenior Researcher, Department of Software Science, Tallinn University of TechnologyDirección de correo verificada de ioc.ee
Granitzer MichaelProfessor Computer Science, University PassauDirección de correo verificada de uni-passau.de
Marko KäärameesAssociate Professor of Computer Science, Tallinn University of TechnologyDirección de correo verificada de ttu.ee
Richard DreylingEarly Stage Researcher, Tallinn University of TechnologyDirección de correo verificada de taltech.ee
Robert KrimmerDigital Transformation Expert and Entrepreneur, former Professor of e-GovernanceDirección de correo verificada de krimmer.ee
Martin VerrevTallinn University of TechnnologyDirección de correo verificada de taltech.ee
Geoff SutcliffeDepartment of Computer Science, University of MiamiDirección de correo verificada de cs.miami.edu
Honghan WuProfessor of Health Informatics and Data Science at University of GlasgowDirección de correo verificada de glasgow.ac.uk
Tuukka RuotsaloLUT University and University of CopenhagenDirección de correo verificada de lut.fi
Innar LiivAssociate Professor, Tallinn University of TechnologyDirección de correo verificada de taltech.ee
Tõnu Tammelecturer in theoretical informatics, University of TartuDirección de correo verificada de ut.ee
Rein PrankAssociate Professor, Tartu UniversityDirección de correo verificada de ut.ee

Seguir

Tanel Tammet

Professor of Applied Artificial Intelligence, Tallinn University of Technology

Dirección de correo verificada de ttu.ee

Commonsense reasoning automated reasoning data mining crowdsourcing semantics recommender systems


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	152	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	48	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
GKC: a reasoning system for large knowledge bases T Tammet Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019	25	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	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores