Tanel Tammet | Academic Influence

Tanel Tammet's AcademicInfluence.com Rankings

Tanel Tammet

Computer Science

#1850

World Rank

#1921

Historical Rank

Artificial Intelligence

#918

World Rank

#935

Historical Rank

Machine Learning

#5797

World Rank

#5880

Historical Rank

Database

#7222

World Rank

#7471

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Tanel Tammet's Degrees

PhD Computer Science University of Tartu
Masters Computer Science University of Tartu
Bachelors Computer Science University of Tartu

Similar Degrees You Can Earn

Why Is Tanel Tammet Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Tanel Tammet is an Estonian computer scientist, professor, software engineer, and computer programmer. He was also one of the founding members of the Estonian Greens party, and helped found the IT College in Tallinn.

(See a Problem?)

Tanel Tammet's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Resolution Methods for the Decision Problem (1993) (132)
Resolution Decision Procedures (2001) (118)
A Resolution Theorem Prover for Intuitonistic Logic (1996) (81)
Darwin: A Theorem Prover for the Model Evolution Calculus (2004) (54)
Using Resolution for Deciding Solvable Classes and Building Finite Models (1991) (48)
10th international conference on automated deduction (1991) (40)
Smart City: A Rule-based Tourist Recommendation System (2011) (40)
Towards Efficient Subsumption (1998) (35)
Gandalf (2004) (33)
Proof strategies in linear logic (1994) (30)
Proof search strategies in linear logic (1993) (28)
Sightsmap: Crowd-Sourced Popularity of the World Places (2013) (22)
Personalized Context-Aware Recommendations in SMARTMUSEUM: Combining Semantics with Statistics (2009) (20)
The resolution program, able to decide some solvable classes (1988) (19)
Resolution methods for decision problems and finite-model building (1992) (18)
GKC: A Reasoning System for Large Knowledge Bases (2019) (17)
A survey on socio-semantic information retrieval (2013) (16)
Resolution, Inverse Method and the Sequent Calculus (1997) (15)
Optimized Encodings of Fragments of Type Theory in First Order Logic (1995) (12)
Data Integration Patterns for Data Warehouse Automation (2014) (12)
RFID-based Communications for a Self-Organising Robot Swarm (2008) (12)
Transfer of Sequent Calculus Strategies to Resolution for S4 (1996) (9)
Context-aware and multilingual information extraction for a tourist recommender system (2011) (9)
Information Extraction for a Tourist Recommender System (2012) (8)
Optimized Encodings of Fragments of Type Theory in First-Order Logic (1998) (8)
Completeness of Resolution for Definite Answers (1995) (7)
Towards scalable proofs of robot swarm dependability (2008) (7)
Condensed detachment is complete for relevance logic: A computer-aided proof (1991) (6)
Social, Legal, and Technical Considerations for Machine Learning and Artificial Intelligence Systems in Government (2021) (6)
Finite model building : improvements and omparisonsTanel (2003) (6)
Hierarchical Regions of Interest (2018) (5)
Combining an Inference Engine with Database: A Rule Server (2003) (5)
Information retrieval and deduplication for tourism recommender sightsplanner (2012) (5)
Using resolution for extending KL-ONE-type languages (1995) (5)
Chain Resolution for the Semantic Web (2004) (4)
An Ultra-Scalable Blockchain Platform for Universal Asset Tokenization: Design and Implementation (2022) (4)
Rule-Based Impact Analysis for Enterprise Business Intelligence (2014) (3)
Extending Classical Theorem Proving for the Semantic Web (2003) (3)
A Semantic-Based Web Service Composition Framework (2007) (3)
Discovering Data Lineage from Data Warehouse Procedures (2016) (3)
Proof Strategies in Linear Logic Proof Strategies in Linear Logic (1994) (3)
Extending Automated Deduction for Commonsense Reasoning (2020) (3)
Automating Component Dependency Analysis for Enterprise Business Intelligence (2014) (3)
Software architecture for swarm mobile robots (2008) (3)
Preface empirically successful first order reasoning (2006) (2)
Computing Data Lineage and Business Semantics for Data Warehouse (2016) (2)
Extended Triple Store Structure Used in Recommender System (2011) (2)
A rule-based approach to Web-based application development (2006) (2)
GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description) (2022) (2)
Ranking domain objects by wisdom of web pages (2012) (2)
On State-Level Architecture of Digital Government Ecosystems: From ICT-Driven to Data-Centric (2021) (2)
Distributed coordination of mobile robots using RFID technology (2006) (1)
Confidences for Commonsense Reasoning (2021) (1)
Covering an Unknown Area with an RFID-Enabled Robot Swarm (2014) (1)
Robot movement strategies in the environment enriched with RFID tags (2012) (1)
Uuring hääletusprotsessi kontrollitavuse rakendamise võimalustest (väljavaadetest) Eesti e-hääletussüsteemis. A Study into the Prospects of Implementing End to End Verifiability in Estonian i-Voting (2016) (0)
Veebiliides andmebaasiteegile WhiteDB. Web Interface for Database Library WhiteDB (2014) (0)
Parallellne metaheuristiline meetod üldistatud orienteerumisülesannete lahendamiseks. A Parallelized Metaheuristic for Generalizations of the Orienteering Problem (2015) (0)
Preface (2006) (0)
First Order Logic and Commonsense Reasoning: A Path Less Travelled (2022) (0)
Combining JSON-LD with First Order Logic (2021) (0)
Metsamaa, põllumaa ning raieõiguse andmeid hankiv automatiseeritud veebirakendus. Forest land, farmland and harvesting rights data fetching automated web application (2018) (0)
Knowledge Integration for Commonsense Reasoning with Default Logic (2022) (0)
Semantic tree based resolution variants (1993) (0)
A resolution based method for building finite models (1993) (0)
Knowledge Centric Architecture for a Robot Swarm (2010) (0)
Management of National eID Infrastructure as a State-Critical Asset and Public-Private Partnership: Learning from the Case of Estonia (2023) (0)
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 (2020) (0)
CUDA raamistiku kasutamine mäluandmebaaside töö kiirendamiseks graafikaprotsessori abil. Using CUDA for Speeding up In-Memory Databases with the Help of Graphics Coprocessors (2017) (0)
Deciding the class K by an ordering refinement (1993) (0)
Semantic clash resolution as decision procedure (1993) (0)
Panga e-arve süsteemi arendus. The Development of E-invoice System for Banks (2017) (0)
Using a Rule Language for Capturing Semantics in Web-Based Systems (2007) (0)
Artificial Intelligence Use in e-Government Services: A Systematic Interdisciplinary Literature Review (2022) (0)
Sights, titles and tags: mining a worldwide photo database for sightseeing (2020) (0)
Completeness of ordering refinements (1993) (0)
Completeness of Resolution for Definite Answers with Case Analysis (1994) (0)
Place Recommendation with Geo-tagged Photos (2020) (0)
Maastikumänge toetav Mobiilirakendus. Mobile Application to Support Treasure Hunts (2017) (0)

This paper list is powered by the following services:

Other Resources About Tanel Tammet

en.wikipedia.org

What Schools Are Affiliated With Tanel Tammet?

Tanel Tammet is affiliated with the following schools:

Image Attributions

Image Source for Tanel Tammet